Searched refs:VCPU_REGS_RCX (Results 1 – 4 of 4) sorted by relevance
| /linux/arch/x86/kvm/ |
| A D | emulate.c | 2712 *reg_write(ctxt, VCPU_REGS_RCX) = ctxt->_eip; in em_syscall()
2811 rcx = reg_read(ctxt, VCPU_REGS_RCX); in em_sysexit()
2930 *reg_write(ctxt, VCPU_REGS_RCX) = 0; in string_registers_quirk()
2950 tss->cx = reg_read(ctxt, VCPU_REGS_RCX); in save_state_to_tss16()
2974 *reg_write(ctxt, VCPU_REGS_RCX) = tss->cx; in load_state_from_tss16()
3064 tss->ecx = reg_read(ctxt, VCPU_REGS_RCX); in save_state_to_tss32()
3093 *reg_write(ctxt, VCPU_REGS_RCX) = tss->ecx; in load_state_from_tss32()
3904 ecx = reg_read(ctxt, VCPU_REGS_RCX); in em_cpuid()
3908 *reg_write(ctxt, VCPU_REGS_RCX) = ecx; in em_cpuid()
4106 ecx = reg_read(ctxt, VCPU_REGS_RCX); in em_xsetbv()
[all …]
|
| /linux/arch/x86/kvm/svm/ |
| A D | sev.c | 570 save->rcx = svm->vcpu.arch.regs[VCPU_REGS_RCX]; in sev_es_sync_vmsa()
2306 ghcb_set_rcx(ghcb, vcpu->arch.regs[VCPU_REGS_RCX]); in sev_es_sync_to_ghcb()
2333 vcpu->arch.regs[VCPU_REGS_RCX] = ghcb_get_rcx_if_valid(ghcb); in sev_es_sync_from_ghcb()
2671 vcpu->arch.regs[VCPU_REGS_RCX] = 0; in sev_handle_vmgexit_msr_protocol()
2687 cpuid_value = vcpu->arch.regs[VCPU_REGS_RCX]; in sev_handle_vmgexit_msr_protocol()
|
| A D | nested.c | 994 msr = svm->vcpu.arch.regs[VCPU_REGS_RCX]; in nested_svm_exit_handled_msr()
|
| /linux/arch/x86/include/asm/ |
| A D | kvm_host.h | 152 VCPU_REGS_RCX = __VCPU_REGS_RCX, enumerator
|
Completed in 31 milliseconds