WSL2-Linux-Kernel/include/dt-bindings/interrupt-controller
..
arm-gic.h
irq.h