Searched refs:service_args (Results 1 – 1 of 1) sorted by relevance
379 uint64_t service_args[2]; in tsp_smc_handler() local402 tsp_get_magic(service_args); in tsp_smc_handler()407 results[0] += service_args[0]; in tsp_smc_handler()408 results[1] += service_args[1]; in tsp_smc_handler()411 results[0] -= service_args[0]; in tsp_smc_handler()412 results[1] -= service_args[1]; in tsp_smc_handler()415 results[0] *= service_args[0]; in tsp_smc_handler()416 results[1] *= service_args[1]; in tsp_smc_handler()419 results[0] /= service_args[0] ? service_args[0] : 1; in tsp_smc_handler()420 results[1] /= service_args[1] ? service_args[1] : 1; in tsp_smc_handler()