BOOTINFO           42 bsp/boot/common/bootinfo.c struct bootinfo *const bootinfo = (struct bootinfo *)kvtop(BOOTINFO);
BOOTINFO           64 bsp/hal/arm/gba/machdep.c 	*bip = (struct bootinfo *)BOOTINFO;
BOOTINFO          147 bsp/hal/arm/integrator/machdep.c 	*bip = (struct bootinfo *)BOOTINFO;
BOOTINFO          131 bsp/hal/ppc/prep/machdep.c 	*bip = (struct bootinfo *)BOOTINFO;
BOOTINFO          128 bsp/hal/x86/pc/machdep.c 	*bip = (struct bootinfo *)BOOTINFO;
BOOTINFO          145 bsp/hal/x86/pc/machdep.c 	struct bootinfo *bi = (struct bootinfo *)BOOTINFO;