Searched refs:service_args (Results 1 – 1 of 1) sorted by relevance

/trusted-firmware-a/bl32/tsp/
A D	tsp_main.c	368 uint128_t service_args; in tsp_smc_handler() local 397 service_args = tsp_get_magic(); in tsp_smc_handler() 398 service_arg0 = (uint64_t)service_args; in tsp_smc_handler() 399 service_arg1 = (uint64_t)(service_args >> 64U); in tsp_smc_handler()

Completed in 4 milliseconds

Last Index update Fri Sep 05 17:56:23 CST 2025