Searched refs:CPU_REG_RDI (Results 1 – 6 of 6) sorted by relevance
| /hypervisor/arch/x86/guest/ |
| A D | optee.c | 65 rdi = vcpu_get_gpreg(vcpu, CPU_REG_RDI); in tee_switch_to_ree()
79 vcpu_set_gpreg(ree_vcpu, CPU_REG_RDI, rdi); in tee_switch_to_ree()
124 rdi = vcpu_get_gpreg(vcpu, CPU_REG_RDI); in ree_switch_to_tee()
134 vcpu_set_gpreg(tee_vcpu, CPU_REG_RDI, rdi); in ree_switch_to_tee()
160 rdi = vcpu_get_gpreg(vcpu, CPU_REG_RDI); in hcall_handle_tee_vcpu_boot_done()
213 vcpu_set_gpreg(tee_vcpu, CPU_REG_RDI, OPTEE_FIQ_ENTRY); in handle_x86_tee_int()
|
| A D | vmcall.c | 221 uint64_t param1 = vcpu_get_gpreg(vcpu, CPU_REG_RDI); /* hypercall param1 from guest */ in dispatch_hypercall()
|
| A D | instr_emul.c | 1027 val = vm_get_register(vcpu, CPU_REG_RDI); in get_gva_di_check()
1129 rdi = vm_get_register(vcpu, CPU_REG_RDI); in emulate_movs()
1141 vie_update_register(vcpu, CPU_REG_RDI, rdi, vie->addrsize); in emulate_movs()
1187 rdi = vm_get_register(vcpu, CPU_REG_RDI); in emulate_stos()
1196 vie_update_register(vcpu, CPU_REG_RDI, rdi, vie->addrsize); in emulate_stos()
|
| /hypervisor/debug/ |
| A D | dump.c | 95 vcpu_get_gpreg(vcpu, CPU_REG_RDI), in dump_guest_reg()
|
| A D | shell.c | 897 vcpu_get_gpreg(vcpu, CPU_REG_RDI), in dump_vcpu_reg()
|
| /hypervisor/include/arch/x86/asm/ |
| A D | cpu.h | 229 CPU_REG_RDI, enumerator
|
Completed in 14 milliseconds