machine_bootinfo  629 bsp/drv/dev/base/tty.c 	machine_bootinfo(&bi);
machine_bootinfo  494 bsp/drv/dev/base/wscons.c 	machine_bootinfo(&bi);
machine_bootinfo  142 bsp/drv/dev/block/ramdisk.c 	machine_bootinfo(&bi);
machine_bootinfo  161 bsp/drv/dev/block/ramdisk.c 	machine_bootinfo(&bi);
machine_bootinfo  242 bsp/drv/dev/video/vga.c 	machine_bootinfo(&bi);
machine_bootinfo  147 bsp/drv/include/dki.h void	 machine_bootinfo(struct bootinfo **);
machine_bootinfo  129 bsp/hal/x86/pc/diag.c 	machine_bootinfo(&bi);
machine_bootinfo  133 sys/include/hal.h void	  machine_bootinfo(struct bootinfo **);
machine_bootinfo  105 sys/kern/device.c 	/* 31 */ DKIENT(machine_bootinfo),
machine_bootinfo  549 sys/kern/device.c 	machine_bootinfo(&bi);
machine_bootinfo  482 sys/kern/task.c 	machine_bootinfo(&bi);
machine_bootinfo  266 sys/mem/page.c 	machine_bootinfo(&bi);