Searched refs:vcpu_set_gpreg (Results 1 – 11 of 11) sorted by relevance
| /hypervisor/arch/x86/guest/ |
| A D | optee.c | 79 vcpu_set_gpreg(ree_vcpu, CPU_REG_RDI, rdi); in tee_switch_to_ree()
80 vcpu_set_gpreg(ree_vcpu, CPU_REG_RSI, rsi); in tee_switch_to_ree()
81 vcpu_set_gpreg(ree_vcpu, CPU_REG_RDX, rdx); in tee_switch_to_ree()
82 vcpu_set_gpreg(ree_vcpu, CPU_REG_RBX, rbx); in tee_switch_to_ree()
133 vcpu_set_gpreg(tee_vcpu, CPU_REG_RAX, rax); in ree_switch_to_tee()
134 vcpu_set_gpreg(tee_vcpu, CPU_REG_RDI, rdi); in ree_switch_to_tee()
135 vcpu_set_gpreg(tee_vcpu, CPU_REG_RSI, rsi); in ree_switch_to_tee()
136 vcpu_set_gpreg(tee_vcpu, CPU_REG_RDX, rdx); in ree_switch_to_tee()
137 vcpu_set_gpreg(tee_vcpu, CPU_REG_RBX, rbx); in ree_switch_to_tee()
138 vcpu_set_gpreg(tee_vcpu, CPU_REG_RCX, rcx); in ree_switch_to_tee()
[all …]
|
| A D | vmexit.c | 365 vcpu_set_gpreg(vcpu, CPU_REG_RAX, (uint64_t)eax); in cpuid_vmexit_handler()
366 vcpu_set_gpreg(vcpu, CPU_REG_RBX, (uint64_t)ebx); in cpuid_vmexit_handler()
367 vcpu_set_gpreg(vcpu, CPU_REG_RCX, (uint64_t)ecx); in cpuid_vmexit_handler()
368 vcpu_set_gpreg(vcpu, CPU_REG_RDX, (uint64_t)edx); in cpuid_vmexit_handler()
|
| A D | vmx_io.c | 56 vcpu_set_gpreg(vcpu, CPU_REG_RAX, rax); in emulate_pio_complete()
|
| A D | vmcall.c | 282 vcpu_set_gpreg(vcpu, CPU_REG_RAX, (uint64_t)ret); in vmcall_vmexit_handler()
|
| A D | vmsr.c | 883 vcpu_set_gpreg(vcpu, CPU_REG_RAX, v & 0xffffffffU); in rdmsr_vmexit_handler()
884 vcpu_set_gpreg(vcpu, CPU_REG_RDX, v >> 32U); in rdmsr_vmexit_handler()
|
| A D | vcpu.c | 48 void vcpu_set_gpreg(struct acrn_vcpu *vcpu, uint32_t reg, uint64_t val) in vcpu_set_gpreg() function
|
| A D | nested.c | 906 vcpu_set_gpreg(vcpu, VMX_II_REG1(info), vmcs_value); in vmread_vmexit_handler()
|
| A D | instr_emul.c | 472 vcpu_set_gpreg(vcpu, reg, val); in vm_set_register()
|
| /hypervisor/boot/guest/ |
| A D | elf_loader.c | 334 vcpu_set_gpreg(vcpu, CPU_REG_RAX, MULTIBOOT_INFO_MAGIC); in elf_loader()
335 vcpu_set_gpreg(vcpu, CPU_REG_RBX, load_params_gpa + in elf_loader()
|
| A D | bzimage_loader.c | 396 vcpu_set_gpreg(vcpu, i, 0UL); in load_bzimage()
402 vcpu_set_gpreg(vcpu, CPU_REG_RSI, create_zero_page(vm, load_params_gpa)); in load_bzimage()
|
| /hypervisor/include/arch/x86/asm/guest/ |
| A D | vcpu.h | 404 void vcpu_set_gpreg(struct acrn_vcpu *vcpu, uint32_t reg, uint64_t val);
|
Completed in 20 milliseconds