Symbol: GUEST_PDPTR1_HIGH
arch/x86/include/asm/vmx.h
281
GUEST_PDPTR1_HIGH = 0x0000280d,
tools/testing/selftests/kvm/include/x86/vmx.h
181
GUEST_PDPTR1_HIGH = 0x0000280d,