Symbol: GUEST_PDPTR3_HIGH
arch/x86/include/asm/vmx.h
285
GUEST_PDPTR3_HIGH = 0x00002811,
tools/testing/selftests/kvm/include/x86/vmx.h
185
GUEST_PDPTR3_HIGH = 0x00002811,