xen_do_write_msr
xen_do_write_msr(msr, val, &err);
xen_do_write_msr(msr, val, xen_msr_safe ? &err : NULL);