Example #1
0
static void main_tee_entry_fast(struct thread_smc_args *args)
{
	/* TODO move to main_init() */
	if (init_teecore() != TEE_SUCCESS)
		panic();

	/* SiP Service Call Count */
	if (args->a0 == TEESMC32_SIP_SUNXI_CALLS_COUNT) {
		args->a0 = 1;
		return;
	}

	/*  SiP Service Call UID */
	if (args->a0 == TEESMC32_SIP_SUNXI_CALLS_UID) {
		args->a0 = TEESMC_SIP_SUNXI_UID_R0;
		args->a1 = TEESMC_SIP_SUNXI_UID_R1;
		args->a2 = TEESMC_SIP_SUNXI_UID_R2;
		args->a3 = TEESMC_SIP_SUNXI_UID_R3;
		return;
	}

	/* SiP Service Calls */
	if (args->a0 == TEESMC32_OPTEE_FAST_CALL_SIP_SUNXI) {
		platform_smc_handle(args);
		return;
	}

	tee_entry_fast(args);
}
Example #2
0
static void platform_tee_entry_fast(struct thread_smc_args *args)
{
#ifdef CFG_BOOT_SECONDARY_REQUEST
	if (args->a0 == OPTEE_SMC_BOOT_SECONDARY) {
		args->a0 = platform_smp_boot(args->a1, (uint32_t)(args->a3));
		return;
	}
#endif /* CFG_BOOT_SECONDARY_REQUEST */
	tee_entry_fast(args);
}