WSL2-Linux-Kernel/kernel/irq/generic-chip.c