boot_device - NetBSD

278

boot_device(&booted_device, &booted_unit, &fd_format);

104

boot_device(&__dk_type, &__dk_unit, &fd_format);

40

void boot_device(int *, int *, int *);

80

boot_device(&__disk.type, &__disk.unit, &__disk.format);

324

device_t boot_device = NULL;

358

boot_device = dev;

399

boot_device = dev;

402

if (device_is_a(dev, "ppb") && boot_device == device_parent(pdev)) {

415

boot_device = dev;

418

if (device_is_a(pdev, "pci") && boot_device == device_parent(pdev)) {

426

boot_device = dev;

436

boot_device == device_parent(pdev)) {

443

boot_device = dev;

478

if (boot_device != NULL)

479

printf("boot device: %s\n", device_xname(boot_device));

480

booted_device = boot_device;