OpenCloudOS-Kernel/include/linux/irqchip/mmp.h