static void main_tee_entry_std(struct thread_smc_args *args) { /* TODO move to main_init() */ if (init_teecore() != TEE_SUCCESS) panic(); tee_entry_std(args); }
static void stm_tee_entry_std(struct thread_smc_args *smc_args) { boot_is_completed = 1; tee_entry_std(smc_args); }