incubator-nuttx/arch/mips/include/pic32mz
..
chip.h
cp0.h
irq.h
irq_pic32mzxxxec.h
irq_pic32mzxxxef.h