kvm_register_read
val = kvm_register_read(vcpu, reg);
err = kvm_set_dr(vcpu, dr, kvm_register_read(vcpu, reg));
off += kvm_register_read(vcpu, base_reg);
off += kvm_register_read(vcpu, index_reg) << scaling;
field = kvm_register_read(vcpu, (((instr_info) >> 28) & 0xf));
value = kvm_register_read(vcpu, (((instr_info) >> 3) & 0xf));
field = kvm_register_read(vcpu, (((instr_info) >> 28) & 0xf));
type = kvm_register_read(vcpu, gpr_index);
type = kvm_register_read(vcpu, gpr_index);
val = kvm_register_read(vcpu, reg);
field = kvm_register_read(vcpu, (((vmx_instruction_info) >> 28) & 0xf));
val = kvm_register_read(vcpu, reg);
err = kvm_set_dr(vcpu, dr, kvm_register_read(vcpu, reg));
type = kvm_register_read(vcpu, gpr_index);
return __kvm_emulate_wrmsr(vcpu, msr, kvm_register_read(vcpu, reg));
return __handle_fastpath_wrmsr(vcpu, msr, kvm_register_read(vcpu, reg));