Searched refs:tee_switch_to_ree (Results 1 – 1 of 1) sorted by relevance
57 static int32_t tee_switch_to_ree(struct acrn_vcpu *vcpu) in tee_switch_to_ree() function177 ret = tee_switch_to_ree(vcpu); in hcall_switch_ee()
Completed in 14 milliseconds