machine_reset     134 bsp/hal/arm/integrator/machdep.c 		machine_reset();
machine_reset     118 bsp/hal/ppc/prep/machdep.c 		machine_reset();
machine_reset     114 bsp/hal/x86/pc/machdep.c 		machine_reset();