fixup_rdmsr_val
__rdmsr(msr, fixup_rdmsr_val(msr, val));
GUEST_SYNC(fixup_rdmsr_val(msr->index, msr->write_val));
msr->rsvd_val == fixup_rdmsr_val(msr->index, msr->rsvd_val)) {