WSL2-Linux-Kernel/arch/powerpc/sysdev/simple_gpio.h