GUEST_PDPTR0_HIGH  230 arch/x86/include/asm/vmx.h 	GUEST_PDPTR0_HIGH               = 0x0000280b,
GUEST_PDPTR0_HIGH  226 tools/testing/selftests/kvm/include/x86_64/vmx.h 	GUEST_PDPTR0_HIGH		= 0x0000280b,