machine_bootinfo 60 bsp/hal/arm/gba/machdep.c machine_bootinfo(struct bootinfo **bip) machine_bootinfo 144 bsp/hal/arm/integrator/machdep.c machine_bootinfo(struct bootinfo **bip) machine_bootinfo 128 bsp/hal/ppc/prep/machdep.c machine_bootinfo(struct bootinfo **bip) machine_bootinfo 124 bsp/hal/x86/pc/machdep.c machine_bootinfo(struct bootinfo **bip)