GUEST_PDPTR1      231 arch/x86/include/asm/vmx.h 	GUEST_PDPTR1                    = 0x0000280c,
GUEST_PDPTR1      227 tools/testing/selftests/kvm/include/x86_64/vmx.h 	GUEST_PDPTR1			= 0x0000280c,