Searched refs:CPU_REG_RCX (Results 1 – 7 of 7) sorted by relevance
| /hypervisor/arch/x86/guest/ |
| A D | optee.c | 128 rcx = vcpu_get_gpreg(vcpu, CPU_REG_RCX); in ree_switch_to_tee()
138 vcpu_set_gpreg(tee_vcpu, CPU_REG_RCX, rcx); in ree_switch_to_tee()
|
| A D | vmexit.c | 361 ecx = (uint32_t)vcpu_get_gpreg(vcpu, CPU_REG_RCX); in cpuid_vmexit_handler()
367 vcpu_set_gpreg(vcpu, CPU_REG_RCX, (uint64_t)ecx); in cpuid_vmexit_handler()
406 if ((vcpu_get_gpreg(vcpu, CPU_REG_RCX) & 0xffffffffUL) == 0UL) { in xsetbv_vmexit_handler()
|
| A D | instr_emul.c | 1098 rcx = vm_get_register(vcpu, CPU_REG_RCX); in emulate_movs()
1145 vie_update_register(vcpu, CPU_REG_RCX, rcx, vie->addrsize); in emulate_movs()
1171 rcx = vm_get_register(vcpu, CPU_REG_RCX); in emulate_stos()
1200 vie_update_register(vcpu, CPU_REG_RCX, rcx, vie->addrsize); in emulate_stos()
|
| A D | vmsr.c | 650 msr = (uint32_t)vcpu_get_gpreg(vcpu, CPU_REG_RCX); in rdmsr_vmexit_handler()
1044 msr = (uint32_t)vcpu_get_gpreg(vcpu, CPU_REG_RCX); in wrmsr_vmexit_handler()
|
| /hypervisor/debug/ |
| A D | dump.c | 92 vcpu_get_gpreg(vcpu, CPU_REG_RCX)); in dump_guest_reg()
|
| A D | shell.c | 895 vcpu_get_gpreg(vcpu, CPU_REG_RCX), in dump_vcpu_reg()
|
| /hypervisor/include/arch/x86/asm/ |
| A D | cpu.h | 223 CPU_REG_RCX, enumerator
|
Completed in 16 milliseconds