WSL2-Linux-Kernel/arch/arm/plat-omap/include/plat/counter-32k.h