Symbol: GUEST_IA32_DEBUGCTL_HIGH
arch/x86/include/asm/vmx.h
271
GUEST_IA32_DEBUGCTL_HIGH = 0x00002803,
tools/testing/selftests/kvm/include/x86/vmx.h
171
GUEST_IA32_DEBUGCTL_HIGH = 0x00002803,