KVM_X86_REG_MSR
vcpu_set_reg(vcpu, KVM_X86_REG_MSR(msr), reset_val);
val = vcpu_get_reg(vcpu, KVM_X86_REG_MSR(msr));