Symbol: pic32_halt
arch/mips/pic32/common/reset.c
36
pic32_halt();
arch/mips/pic32/common/reset.c
43
pic32_halt();