Searched refs:rdx (Results 1 – 8 of 8) sorted by relevance
| /hypervisor/arch/x86/guest/ |
| A D | vmx_asm.S | 38 push %rdx
54 cmp $IBRS_NONE,%rdx
70 mov $0x00006c14,%rdx
73 vmwrite %rsp,%rdx
103 mov 0x10(%rdi),%rdx
166 mov %rdx,0x10(%rdi)
180 mov 0(%rsp),%rdx
184 mov %rdx,0x38(%rdi)
199 pop %rdx
219 cmp $IBRS_NONE,%rdx
[all …]
|
| A D | optee.c | 59 uint64_t rdi, rsi, rdx, rbx; in tee_switch_to_ree() local
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()
118 uint64_t rax, rdi, rsi, rdx, rbx, rcx; in ree_switch_to_tee() local
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 | trusty.c | 221 next_ctx->cpu_regs.regs.rdx = prev_ctx->cpu_regs.regs.rdx; in copy_smc_param()
|
| /hypervisor/arch/x86/ |
| A D | wakeup.S | 52 movq %rdx, 0x10 + cpu_ctx(%rip)
91 movq 0x10 + cpu_ctx(%rip), %rdx /* pm1b_cnt_val */
153 movq 0x10 + cpu_ctx(%rip), %rdx
|
| A D | idt.S | 274 pushq %rdx
285 popq %rdx
|
| /hypervisor/arch/x86/lib/ |
| A D | retpoline-thunk.S | 27 retpoline_thunk rdx
|
| /hypervisor/debug/ |
| A D | dump.c | 225 ctx->gp_regs.rdx, ctx->gp_regs.rdi, ctx->gp_regs.rsi); in dump_intr_excp_frame()
|
| /hypervisor/include/public/ |
| A D | acrn_common.h | 396 uint64_t rdx; member
|
Completed in 10 milliseconds