Symbol: GUEST_PDPTR1
arch/x86/include/asm/vmx.h
280
GUEST_PDPTR1 = 0x0000280c,
tools/testing/selftests/kvm/include/x86/vmx.h
180
GUEST_PDPTR1 = 0x0000280c,