Symbol: ip32_machine_halt
arch/mips/sgi-ip32/ip32-reset.c
146
_machine_halt = ip32_machine_halt;
arch/mips/sgi-ip32/ip32-reset.c
147
pm_power_off = ip32_machine_halt;