mips_pic32mx/include/cpu.h

CPU definitions for pic32mx devices.

FLASH_XIP

We run from flash on PIC32. 

1
(1)
void cpu_print_last_instruction(void)

Print the last instruction’s address.

: Not supported

void cpu_init(void)

Initialize the CPU, set IRQ priorities.