Searched refs:service_arg0 (Results 1 – 1 of 1) sorted by relevance

/trusted-firmware-a/bl32/tsp/
A D	tsp_main.c	369 uint64_t service_arg0; in tsp_smc_handler() local 398 service_arg0 = (uint64_t)service_args; in tsp_smc_handler() 412 results[0] += service_arg0; in tsp_smc_handler() 416 results[0] -= service_arg0; in tsp_smc_handler() 420 results[0] *= service_arg0; in tsp_smc_handler() 424 results[0] /= service_arg0 ? service_arg0 : 1; in tsp_smc_handler()

Completed in 3 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023