Searched refs:tee_vcpu (Results 1 – 1 of 1) sorted by relevance
| /hypervisor/arch/x86/guest/ |
| A D | optee.c | 120 struct acrn_vcpu *tee_vcpu; in ree_switch_to_tee() local
132 if (tee_vcpu != NULL) { in ree_switch_to_tee()
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()
140 wake_thread(&tee_vcpu->thread_obj); in ree_switch_to_tee()
187 struct acrn_vcpu *tee_vcpu; in handle_x86_tee_int() local
[all …]
|
Completed in 2 milliseconds