Symbol: pic32_machine_halt
arch/mips/pic32/common/reset.c
49
_machine_halt = pic32_machine_halt;
arch/mips/pic32/common/reset.c
50
pm_power_off = pic32_machine_halt;