Searched refs:service_arg0 (Results 1 – 1 of 1) sorted by relevance
367 uint64_t service_arg0; in tsp_smc_handler() local396 service_arg0 = (uint64_t)service_args; in tsp_smc_handler()410 results[0] += service_arg0; in tsp_smc_handler()414 results[0] -= service_arg0; in tsp_smc_handler()418 results[0] *= service_arg0; in tsp_smc_handler()422 results[0] /= service_arg0 ? service_arg0 : 1; in tsp_smc_handler()