pic32_machine_halt   48 arch/mips/pic32/common/reset.c 	_machine_halt = pic32_machine_halt;
pic32_machine_halt   49 arch/mips/pic32/common/reset.c 	pm_power_off = pic32_machine_halt;