KVM_EXIT_X86_WRMSR
if (kvm_msr_user_space(vcpu, msr, KVM_EXIT_X86_WRMSR, data,
if (kvm_msr_user_space(vcpu, msr_index, KVM_EXIT_X86_WRMSR, data,
TEST_ASSERT_KVM_EXIT_REASON(vcpu, KVM_EXIT_X86_WRMSR);
case KVM_EXIT_X86_WRMSR: