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

/arm-trusted-firmware-2.8.0/bl32/tsp/
A D	tsp_main.c	210 uint64_t service_arg0; in tsp_smc_handler() local 236 service_arg0 = (uint64_t)service_args; in tsp_smc_handler() 250 results[0] += service_arg0; 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 ? service_arg0 : 1; in tsp_smc_handler() 273 results[0] = dit == service_arg0; in tsp_smc_handler() 276 write_dit(service_arg0 != 0U ? 0 : DIT_BIT); in tsp_smc_handler()

Completed in 2 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023