| /hypervisor/debug/ |
| A D | dump.c | 83 vcpu_get_gpreg(vcpu, CPU_REG_RSP), in dump_guest_reg() 90 vcpu_get_gpreg(vcpu, CPU_REG_RAX), in dump_guest_reg() 91 vcpu_get_gpreg(vcpu, CPU_REG_RBX), in dump_guest_reg() 94 vcpu_get_gpreg(vcpu, CPU_REG_RDX), in dump_guest_reg() 95 vcpu_get_gpreg(vcpu, CPU_REG_RDI), in dump_guest_reg() 98 vcpu_get_gpreg(vcpu, CPU_REG_RBP), in dump_guest_reg() 99 vcpu_get_gpreg(vcpu, CPU_REG_R8), in dump_guest_reg() 100 vcpu_get_gpreg(vcpu, CPU_REG_R9)); in dump_guest_reg() 102 vcpu_get_gpreg(vcpu, CPU_REG_R10), in dump_guest_reg() 103 vcpu_get_gpreg(vcpu, CPU_REG_R11), in dump_guest_reg() [all …]
|
| A D | shell.c | 889 vcpu_get_gpreg(vcpu, CPU_REG_RSP), in dump_vcpu_reg() 893 vcpu_get_gpreg(vcpu, CPU_REG_RAX), in dump_vcpu_reg() 894 vcpu_get_gpreg(vcpu, CPU_REG_RBX), in dump_vcpu_reg() 895 vcpu_get_gpreg(vcpu, CPU_REG_RCX), in dump_vcpu_reg() 896 vcpu_get_gpreg(vcpu, CPU_REG_RDX), in dump_vcpu_reg() 897 vcpu_get_gpreg(vcpu, CPU_REG_RDI), in dump_vcpu_reg() 898 vcpu_get_gpreg(vcpu, CPU_REG_RSI), in dump_vcpu_reg() 899 vcpu_get_gpreg(vcpu, CPU_REG_RBP), in dump_vcpu_reg() 900 vcpu_get_gpreg(vcpu, CPU_REG_R8), in dump_vcpu_reg() 901 vcpu_get_gpreg(vcpu, CPU_REG_R9), in dump_vcpu_reg() [all …]
|
| /hypervisor/arch/x86/guest/ |
| A D | optee.c | 65 rdi = vcpu_get_gpreg(vcpu, CPU_REG_RDI); in tee_switch_to_ree() 66 rsi = vcpu_get_gpreg(vcpu, CPU_REG_RSI); in tee_switch_to_ree() 67 rdx = vcpu_get_gpreg(vcpu, CPU_REG_RDX); in tee_switch_to_ree() 68 rbx = vcpu_get_gpreg(vcpu, CPU_REG_RBX); in tee_switch_to_ree() 123 rax = vcpu_get_gpreg(vcpu, CPU_REG_RAX); in ree_switch_to_tee() 124 rdi = vcpu_get_gpreg(vcpu, CPU_REG_RDI); in ree_switch_to_tee() 125 rsi = vcpu_get_gpreg(vcpu, CPU_REG_RSI); in ree_switch_to_tee() 126 rdx = vcpu_get_gpreg(vcpu, CPU_REG_RDX); in ree_switch_to_tee() 127 rbx = vcpu_get_gpreg(vcpu, CPU_REG_RBX); in ree_switch_to_tee() 128 rcx = vcpu_get_gpreg(vcpu, CPU_REG_RCX); in ree_switch_to_tee() [all …]
|
| A D | vmexit.c | 359 eax = (uint32_t)vcpu_get_gpreg(vcpu, CPU_REG_RAX); in cpuid_vmexit_handler() 360 ebx = (uint32_t)vcpu_get_gpreg(vcpu, CPU_REG_RBX); in cpuid_vmexit_handler() 361 ecx = (uint32_t)vcpu_get_gpreg(vcpu, CPU_REG_RCX); in cpuid_vmexit_handler() 362 edx = (uint32_t)vcpu_get_gpreg(vcpu, CPU_REG_RDX); in cpuid_vmexit_handler() 406 if ((vcpu_get_gpreg(vcpu, CPU_REG_RCX) & 0xffffffffUL) == 0UL) { in xsetbv_vmexit_handler() 407 val64 = (vcpu_get_gpreg(vcpu, CPU_REG_RAX) & 0xffffffffUL) | in xsetbv_vmexit_handler() 408 (vcpu_get_gpreg(vcpu, CPU_REG_RDX) << 32U); in xsetbv_vmexit_handler() 478 if ((vcpu_get_gpreg(vcpu, CPU_REG_RAX) != 0UL)) { in loadiwkey_vmexit_handler()
|
| A D | vmcall.c | 214 uint64_t hcall_id = vcpu_get_gpreg(vcpu, CPU_REG_R8); /* hypercall ID from guest */ in dispatch_hypercall() 221 uint64_t param1 = vcpu_get_gpreg(vcpu, CPU_REG_RDI); /* hypercall param1 from guest */ in dispatch_hypercall() 222 uint64_t param2 = vcpu_get_gpreg(vcpu, CPU_REG_RSI); /* hypercall param2 from guest */ in dispatch_hypercall() 263 uint64_t hypcall_id = vcpu_get_gpreg(vcpu, CPU_REG_R8); in vmcall_vmexit_handler()
|
| A D | vmx_io.c | 53 uint64_t rax = vcpu_get_gpreg(vcpu, CPU_REG_RAX); in emulate_pio_complete() 83 pio_req->value = (uint32_t)vcpu_get_gpreg(vcpu, CPU_REG_RAX) & mask; in pio_instr_vmexit_handler()
|
| A D | nested.c | 585 offset += vcpu_get_gpreg(vcpu, VMX_II_BASE_REG(instr_info)); in get_vmx_memory_operand() 589 uint64_t val64 = vcpu_get_gpreg(vcpu, VMX_II_IDX_REG(instr_info)); in get_vmx_memory_operand() 901 vmcs_field = (uint32_t)vcpu_get_gpreg(vcpu, VMX_II_REG2(info)); in vmread_vmexit_handler() 936 vmcs_field = (uint32_t)vcpu_get_gpreg(vcpu, VMX_II_REG2(info)); in vmwrite_vmexit_handler() 944 vmcs_value = vcpu_get_gpreg(vcpu, VMX_II_REG1(info)); in vmwrite_vmexit_handler() 1557 return vcpu_get_gpreg(vcpu, VMX_II_REG2(info)); in get_invvpid_ept_operands()
|
| 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() 1047 v = (vcpu_get_gpreg(vcpu, CPU_REG_RDX) << 32U) | in wrmsr_vmexit_handler() 1048 vcpu_get_gpreg(vcpu, CPU_REG_RAX); in wrmsr_vmexit_handler()
|
| A D | virtual_cr.c | 576 reg = vcpu_get_gpreg(vcpu, idx); in cr_access_vmexit_handler()
|
| A D | vcpu.c | 40 uint64_t vcpu_get_gpreg(const struct acrn_vcpu *vcpu, uint32_t reg) in vcpu_get_gpreg() function
|
| A D | instr_emul.c | 443 reg_val = vcpu_get_gpreg(vcpu, reg); in vm_get_register()
|
| /hypervisor/include/arch/x86/asm/guest/ |
| A D | vcpu.h | 393 uint64_t vcpu_get_gpreg(const struct acrn_vcpu *vcpu, uint32_t reg);
|
| /hypervisor/boot/guest/ |
| A D | bzimage_loader.c | 404 __func__, vm->vm_id, vcpu_get_gpreg(vcpu, CPU_REG_RSI)); in load_bzimage()
|