xen_do_read_msr
*val = xen_do_read_msr(msr, &err);
return xen_do_read_msr(msr, xen_msr_safe ? &err : NULL);