cpu_reset        2452 arch/i386/i386/machdep.c 	cpu_reset();
cpu_reset         357 arch/i386/include/cpu.h void	cpu_reset(void);