do_get_msr
(do_get_msr(vcpu, index, &val) || *data != val))
if (do_get_msr(vcpu, msr, &val))
r = msr_io(vcpu, argp, do_get_msr, 1);