cpu_reset          40 bsp/hal/ppc/include/locore.h void	cpu_reset(void);
cpu_reset          80 bsp/hal/x86/include/locore.h void	cpu_reset(void);
cpu_reset          90 bsp/hal/x86/pc/machdep.c 	cpu_reset();