Searched refs:MSR_IA32_BNDCFGS (Results 1 – 3 of 3) sorted by relevance
176 * state. MSR_IA32_BNDCFGS doesn't count as it isn't in guest_code() 189 wrmsr(MSR_IA32_BNDCFGS, BIT_ULL(0)); in guest_code() 196 wrmsr(MSR_IA32_BNDCFGS, 0); in guest_code()
962 #define MSR_IA32_BNDCFGS 0x00000d90 macro
2176 case MSR_IA32_BNDCFGS: in vmx_get_msr()2414 case MSR_IA32_BNDCFGS: in vmx_set_msr()8683 rdmsrq(MSR_IA32_BNDCFGS, host_bndcfgs); in vmx_hardware_setup()