incubator-nuttx/arch/arm/include/s32k3xx
..
chip.h
irq.h
s32k3x4_irq.h