Searched refs:service_arg1 (Results 1 – 1 of 1) sorted by relevance
215 uint64_t service_arg1; in tsp_smc_handler() local241 service_arg1 = (uint64_t)(service_args >> 64U); in tsp_smc_handler()255 results[1] += service_arg1; in tsp_smc_handler()259 results[1] -= service_arg1; in tsp_smc_handler()263 results[1] *= service_arg1; in tsp_smc_handler()267 results[1] /= service_arg1 ? service_arg1 : 1; in tsp_smc_handler()