Searched defs:service_args (Results 1 - 1 of 1) sorted by relevance

/device/linaro/bootloader/arm-trusted-firmware/bl32/tsp/
H A Dtsp_main.c379 uint64_t service_args[2]; local
402 tsp_get_magic(service_args);
407 results[0] += service_args[0];
408 results[1] += service_args[1];
411 results[0] -= service_args[0];
412 results[1] -= service_args[1];
415 results[0] *= service_args[0];
416 results[1] *= service_args[1];
419 results[0] /= service_args[0] ? service_args[
[all...]

Completed in 54 milliseconds