Searched refs:msr_bit (Results 1 – 1 of 1) sorted by relevance
71 uint64_t msr_bit, in __ia32_feature_control_msr_test() argument79 vcpu_set_msr(vcpu, MSR_IA32_FEAT_CTL, val | msr_bit | FEAT_CTL_LOCKED); in __ia32_feature_control_msr_test()80 vcpu_set_msr(vcpu, MSR_IA32_FEAT_CTL, (val & ~msr_bit) | FEAT_CTL_LOCKED); in __ia32_feature_control_msr_test()81 vcpu_set_msr(vcpu, MSR_IA32_FEAT_CTL, val | msr_bit | FEAT_CTL_LOCKED); in __ia32_feature_control_msr_test()82 vcpu_set_msr(vcpu, MSR_IA32_FEAT_CTL, (val & ~msr_bit) | FEAT_CTL_LOCKED); in __ia32_feature_control_msr_test()