Searched refs:MSR_IA32_BNDCFGS_RSVD (Results 1 – 3 of 3) sorted by relevance
685 #define MSR_IA32_BNDCFGS_RSVD 0x00000ffc macro
3054 CC((vmcs12->guest_bndcfgs & MSR_IA32_BNDCFGS_RSVD)))) in nested_vmx_check_guest_state()
2110 (data & MSR_IA32_BNDCFGS_RSVD)) in vmx_set_msr()