ip32_machine_halt  143 arch/mips/sgi-ip32/ip32-reset.c 	_machine_halt = ip32_machine_halt;
ip32_machine_halt  144 arch/mips/sgi-ip32/ip32-reset.c 	pm_power_off = ip32_machine_halt;