101 			     void *cookie,  in std_svc_smc_handler()  argument
134 		    cookie, handle, flags);  in std_svc_smc_handler()
151 		return spm_mm_smc_handler(smc_fid, x1, x2, x3, x4, cookie,  in std_svc_smc_handler()
162 		return spmd_ffa_smc_handler(smc_fid, x1, x2, x3, x4, cookie,  in std_svc_smc_handler()
169 		return sdei_smc_handler(smc_fid, x1, x2, x3, x4, cookie, handle,  in std_svc_smc_handler()
176 		return trng_smc_handler(smc_fid, x1, x2, x3, x4, cookie, handle,  in std_svc_smc_handler()
183 		return errata_abi_smc_handler(smc_fid, x1, x2, x3, x4, cookie,  in std_svc_smc_handler()
191 		return rmmd_rmm_el3_handler(smc_fid, x1, x2, x3, x4, cookie,  in std_svc_smc_handler()
196 		return rmmd_rmi_handler(smc_fid, x1, x2, x3, x4, cookie,  in std_svc_smc_handler()
203 		return pci_smc_handler(smc_fid, x1, x2, x3, x4, cookie, handle,  in std_svc_smc_handler()
210 		return drtm_smc_handler(smc_fid, x1, x2, x3, x4, cookie, handle,  in std_svc_smc_handler()