Searched refs:CPU_REG_RDX (Results 1 – 6 of 6) sorted by relevance
| /hypervisor/arch/x86/guest/ |
| A D | optee.c | 67 rdx = vcpu_get_gpreg(vcpu, CPU_REG_RDX); in tee_switch_to_ree()
81 vcpu_set_gpreg(ree_vcpu, CPU_REG_RDX, rdx); in tee_switch_to_ree()
126 rdx = vcpu_get_gpreg(vcpu, CPU_REG_RDX); in ree_switch_to_tee()
136 vcpu_set_gpreg(tee_vcpu, CPU_REG_RDX, rdx); in ree_switch_to_tee()
|
| A D | vmexit.c | 362 edx = (uint32_t)vcpu_get_gpreg(vcpu, CPU_REG_RDX); in cpuid_vmexit_handler()
368 vcpu_set_gpreg(vcpu, CPU_REG_RDX, (uint64_t)edx); in cpuid_vmexit_handler()
408 (vcpu_get_gpreg(vcpu, CPU_REG_RDX) << 32U); in xsetbv_vmexit_handler()
|
| A D | vmsr.c | 884 vcpu_set_gpreg(vcpu, CPU_REG_RDX, v >> 32U); in rdmsr_vmexit_handler()
1047 v = (vcpu_get_gpreg(vcpu, CPU_REG_RDX) << 32U) | in wrmsr_vmexit_handler()
|
| /hypervisor/debug/ |
| A D | dump.c | 94 vcpu_get_gpreg(vcpu, CPU_REG_RDX), in dump_guest_reg()
|
| A D | shell.c | 896 vcpu_get_gpreg(vcpu, CPU_REG_RDX), in dump_vcpu_reg()
|
| /hypervisor/include/arch/x86/asm/ |
| A D | cpu.h | 224 CPU_REG_RDX, enumerator
|
Completed in 12 milliseconds