x86/vmlinux.h