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