pic32_halt         35 arch/mips/pic32/common/reset.c 	pic32_halt();
pic32_halt         42 arch/mips/pic32/common/reset.c 	pic32_halt();