Lines Matching defs:booted_device
134 switch (DEVICE_CAPABILITY.booted_device) {
276 int booted_device, booted_unit, fd_format;
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) ||
320 (DEVICE_CAPABILITY.booted_device == NVSRAM_BOOTDEV_NETWORK_T_AND_D))