platform_kernel-5.15/include/asm-alpha/hw_irq.h