GUEST_PDPTR0 229 arch/x86/include/asm/vmx.h GUEST_PDPTR0 = 0x0000280a, GUEST_PDPTR0 225 tools/testing/selftests/kvm/include/x86_64/vmx.h GUEST_PDPTR0 = 0x0000280a,