MSR_IA32_BNDCFGS_RSVD 2814 arch/x86/kvm/vmx/nested.c 	     CC((vmcs12->guest_bndcfgs & MSR_IA32_BNDCFGS_RSVD))))
MSR_IA32_BNDCFGS_RSVD 1945 arch/x86/kvm/vmx/vmx.c 		    (data & MSR_IA32_BNDCFGS_RSVD))