Searched refs:MSR_IA32_BNDCFGS_RSVD (Results 1 – 4 of 4) sorted by relevance
777 #define MSR_IA32_BNDCFGS_RSVD 0x00000ffc macro
798 #define MSR_IA32_BNDCFGS_RSVD 0x00000ffc macro
3077 CC((vmcs12->guest_bndcfgs & MSR_IA32_BNDCFGS_RSVD)))) in nested_vmx_check_guest_state()
2261 (data & MSR_IA32_BNDCFGS_RSVD)) in vmx_set_msr()