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

/trusted-firmware-a/bl32/tsp/
A D	tsp_main.c	370 uint64_t service_arg1; in tsp_smc_handler() local 399 service_arg1 = (uint64_t)(service_args >> 64U); in tsp_smc_handler() 413 results[1] += service_arg1; in tsp_smc_handler() 417 results[1] -= service_arg1; in tsp_smc_handler() 421 results[1] *= service_arg1; in tsp_smc_handler() 425 results[1] /= service_arg1 ? service_arg1 : 1; in tsp_smc_handler()

Completed in 3 milliseconds

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