bip                60 bsp/hal/arm/gba/machdep.c machine_bootinfo(struct bootinfo **bip)
bip                62 bsp/hal/arm/gba/machdep.c 	ASSERT(bip != NULL);
bip                64 bsp/hal/arm/gba/machdep.c 	*bip = (struct bootinfo *)BOOTINFO;
bip               144 bsp/hal/arm/integrator/machdep.c machine_bootinfo(struct bootinfo **bip)
bip               147 bsp/hal/arm/integrator/machdep.c 	*bip = (struct bootinfo *)BOOTINFO;
bip               128 bsp/hal/ppc/prep/machdep.c machine_bootinfo(struct bootinfo **bip)
bip               131 bsp/hal/ppc/prep/machdep.c 	*bip = (struct bootinfo *)BOOTINFO;
bip               124 bsp/hal/x86/pc/machdep.c machine_bootinfo(struct bootinfo **bip)
bip               126 bsp/hal/x86/pc/machdep.c 	ASSERT(bip != NULL);
bip               128 bsp/hal/x86/pc/machdep.c 	*bip = (struct bootinfo *)BOOTINFO;