Lines Matching refs:msr
15 static bool is_kvm_controlled_msr(uint32_t msr) in is_kvm_controlled_msr() argument
17 return msr == MSR_IA32_VMX_CR0_FIXED1 || msr == MSR_IA32_VMX_CR4_FIXED1; in is_kvm_controlled_msr()
24 static bool is_hidden_vmx_msr(uint32_t msr) in is_hidden_vmx_msr() argument
26 switch (msr) { in is_hidden_vmx_msr()
37 static bool is_quirked_msr(uint32_t msr) in is_quirked_msr() argument
39 return msr != MSR_AMD64_DE_CFG; in is_quirked_msr()
42 static void test_feature_msr(uint32_t msr) in test_feature_msr() argument
44 const uint64_t supported_mask = kvm_get_feature_msr(msr); in test_feature_msr()
45 uint64_t reset_value = is_quirked_msr(msr) ? supported_mask : 0; in test_feature_msr()
54 if (is_kvm_controlled_msr(msr)) in test_feature_msr()
61 if (msr == MSR_IA32_UCODE_REV) in test_feature_msr()
71 TEST_ASSERT(vcpu_get_msr(vcpu, msr) == reset_value, in test_feature_msr()
73 reset_value, is_quirked_msr(msr) ? "" : "non-", msr, in test_feature_msr()
74 vcpu_get_msr(vcpu, msr)); in test_feature_msr()
75 if (!is_hidden_vmx_msr(msr)) in test_feature_msr()
76 vcpu_set_msr(vcpu, msr, supported_mask); in test_feature_msr()
79 if (is_hidden_vmx_msr(msr)) in test_feature_msr()
90 TEST_ASSERT(!vcpu_get_msr(vcpu, msr), in test_feature_msr()
92 msr, vcpu_get_msr(vcpu, msr)); in test_feature_msr()