Searched refs:ree_vcpu (Results 1 – 1 of 1) sorted by relevance
| /hypervisor/arch/x86/guest/ |
| A D | optee.c | 61 struct acrn_vcpu *ree_vcpu; in tee_switch_to_ree() local
71 ree_vcpu = vcpu_from_pid(ree_vm, get_pcpu_id()); in tee_switch_to_ree()
73 if (ree_vcpu != NULL) { in tee_switch_to_ree()
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()
96 send_single_ipi(pcpuid_from_vcpu(ree_vcpu), in tee_switch_to_ree()
|
Completed in 5 milliseconds