void thread_handle_std_smc(struct thread_smc_args *args) { check_canaries(); if (args->a0 == TEESMC32_CALL_RETURN_FROM_RPC) thread_resume_from_rpc(args); else thread_alloc_and_run(args); }
void thread_handle_smc_call(struct thread_smc_args *args) { check_canaries(); if (TEESMC_IS_FAST_CALL(args->a0)) { thread_fastcall_handler_ptr(args); } else { if (args->a0 == TEESMC32_CALL_RETURN_FROM_RPC) thread_resume_from_rpc(args); else thread_alloc_and_run(args); } }