incubator-nuttx/arch/mips/include/mips32
..
cp0.h
irq.h
registers.h