/* * Set up the root device from the boot args */ void cpu_rootconf(void) { set_root_device(); printf("boot device: %s\n", booted_device != NULL ? device_xname(booted_device) : "<unknown>"); rootconf(); }
/* * Set up the root device from the boot args */ void cpu_rootconf(void) { set_root_device(); printf("boot device: %s\n", booted_device != NULL ? booted_device->dv_xname : "<unknown>"); setroot(booted_device, booted_partition); }
/* * Set up the root device from the boot args */ void cpu_rootconf(void) { #ifndef MEMORY_DISK_IS_ROOT set_root_device(); #endif aprint_normal("boot device: %s\n", booted_device != NULL ? device_xname(booted_device) : "<unknown>"); rootconf(); }
/* * Set up the root device from the boot args */ void cpu_rootconf(void) { #ifndef MEMORY_DISK_IS_ROOT set_root_device(); printf("boot device: %s\n", booted_device != NULL ? booted_device->dv_xname : "<unknown>"); #endif setroot(booted_device, booted_partition); }