kvm_register_read_raw
return kvm_register_read_raw(vcpu, VCPU_REGS_RIP);
return kvm_register_read_raw(vcpu, VCPU_REGS_RSP);
smram->gprs[i] = kvm_register_read_raw(vcpu, i);
smram->gprs[15 - i] = kvm_register_read_raw(vcpu, i);
return kvm_register_read_raw(emul_to_vcpu(ctxt), reg);
unsigned long val = kvm_register_read_raw(vcpu, reg);