Home
last modified time | relevance | path

Searched defs:booted_device (Results 1 – 4 of 4) sorted by relevance

/netbsd/src/sys/arch/ews4800mips/stand/common/
Dlocal.h53 int booted_device; member
Dboot.c276 int booted_device, booted_unit, fd_format; in set_device_capability() local
/netbsd/src/sys/kern/
Dkern_subr.c169 device_t booted_device; variable
/netbsd/src/sys/rump/librump/rumpkern/
Demul.c85 device_t booted_device; variable