WSL2-Linux-Kernel/arch/i386/xen/vdso.h