msr_io 1388 arch/x86/kvm/x86.c r = msr_io(vcpu, argp, kvm_get_msr, 1); msr_io 1391 arch/x86/kvm/x86.c r = msr_io(vcpu, argp, do_set_msr, 0);