Searched refs:service_arg1 (Results 1 – 1 of 1) sorted by relevance
368 uint64_t service_arg1; in tsp_smc_handler() local397 service_arg1 = (uint64_t)(service_args >> 64U); in tsp_smc_handler()411 results[1] += service_arg1; in tsp_smc_handler()415 results[1] -= service_arg1; in tsp_smc_handler()419 results[1] *= service_arg1; in tsp_smc_handler()423 results[1] /= service_arg1 ? service_arg1 : 1; in tsp_smc_handler()