Files
luckfox-pico/sysdrv/source/kernel/include/linux/irqchip/irq-davinci-cp-intc.h