Searched refs:service_arg0 (Results 1 – 1 of 1) sorted by relevance
214 uint64_t service_arg0; in tsp_smc_handler() local240 service_arg0 = (uint64_t)service_args; in tsp_smc_handler()254 results[0] += service_arg0; in tsp_smc_handler()258 results[0] -= service_arg0; in tsp_smc_handler()262 results[0] *= service_arg0; in tsp_smc_handler()266 results[0] /= service_arg0 ? service_arg0 : 1; in tsp_smc_handler()277 results[0] = dit == service_arg0; in tsp_smc_handler()280 write_dit(service_arg0 != 0U ? 0 : DIT_BIT); in tsp_smc_handler()