Searched refs:rmmd_gtsi_handler (Results 1 – 3 of 3) sorted by relevance
/trusted-firmware-a/include/services/ |
A D | rmmd_svc.h | 23 uint64_t rmmd_gtsi_handler(uint32_t smc_fid,
|
/trusted-firmware-a/services/std_svc/ |
A D | std_svc_setup.c | 169 return rmmd_gtsi_handler(smc_fid, x1, x2, x3, x4, cookie, in std_svc_smc_handler()
|
/trusted-firmware-a/services/std_svc/rmmd/ |
A D | rmmd_main.c | 322 uint64_t rmmd_gtsi_handler(uint32_t smc_fid, uint64_t x1, uint64_t x2, in rmmd_gtsi_handler() function
|
Completed in 3 milliseconds