GUEST_BNDCFGS     237 arch/x86/include/asm/vmx.h 	GUEST_BNDCFGS                   = 0x00002812,
GUEST_BNDCFGS     233 tools/testing/selftests/kvm/include/x86_64/vmx.h 	GUEST_BNDCFGS			= 0x00002812,