Searched refs:service_args (Results 1 – 1 of 1) sorted by relevance
211 uint128_t service_args; in tsp_smc_handler() local237 service_args = tsp_get_magic(); in tsp_smc_handler()238 service_arg0 = (uint64_t)service_args; in tsp_smc_handler()239 service_arg1 = (uint64_t)(service_args >> 64U); in tsp_smc_handler()
