HomeSort by: relevance | last modified time | path
    Searched defs:booted_device (Results 1 - 4 of 4) sorted by relevancy

  /src/sys/arch/ews4800mips/stand/common/
boot.c 134 switch (DEVICE_CAPABILITY.booted_device) {
276 int booted_device, booted_unit, fd_format; local in function:set_device_capability
278 boot_device(&booted_device, &booted_unit, &fd_format);
279 if (booted_device > NVSRAM_BOOTDEV_MAX ||
280 booted_device < NVSRAM_BOOTDEV_MIN) {
284 DEVICE_CAPABILITY.booted_device = booted_device;
308 if (DEVICE_CAPABILITY.booted_device == NVSRAM_BOOTDEV_HARDDISK)
318 printf("booted from %s IPL", devname[DEVICE_CAPABILITY.booted_device]);
319 if ((DEVICE_CAPABILITY.booted_device == NVSRAM_BOOTDEV_NETWORK) |
    [all...]
local.h 53 int booted_device; member in struct:device_capability
  /src/sys/kern/
kern_subr.c 169 device_t booted_device; variable in typeref:typename:device_t
  /src/sys/rump/librump/rumpkern/
emul.c 85 device_t booted_device; variable in typeref:typename:device_t

Completed in 36 milliseconds