nuttx/arch/xtensa/include/esp32
..
chip.h
irq.h