Searched refs:service_args (Results 1 – 1 of 1) sorted by relevance
209 uint128_t service_args; in tsp_smc_handler() local235 service_args = tsp_get_magic(); in tsp_smc_handler()236 service_arg0 = (uint64_t)service_args; in tsp_smc_handler()237 service_arg1 = (uint64_t)(service_args >> 64U); in tsp_smc_handler()
Completed in 2 milliseconds