GUEST_BNDCFGS_HIGH  238 arch/x86/include/asm/vmx.h 	GUEST_BNDCFGS_HIGH              = 0x00002813,
GUEST_BNDCFGS_HIGH  234 tools/testing/selftests/kvm/include/x86_64/vmx.h 	GUEST_BNDCFGS_HIGH		= 0x00002813,