Searched refs:ree_switch_to_tee (Results 1 – 1 of 1) sorted by relevance
116 static int32_t ree_switch_to_tee(struct acrn_vcpu *vcpu) in ree_switch_to_tee() function179 ret = ree_switch_to_tee(vcpu); in hcall_switch_ee()
Completed in 3 milliseconds