Symbol: __handle_fastpath_wrmsr
arch/x86/kvm/x86.c
2305
return __handle_fastpath_wrmsr(vcpu, kvm_rcx_read(vcpu),
arch/x86/kvm/x86.c
2312
return __handle_fastpath_wrmsr(vcpu, msr, kvm_register_read(vcpu, reg));