203 				uint64_t x3,  in spmc_smc_return()
328 				       uint64_t x3,  in direct_req_smc_handler()
422 					uint64_t x3,  in direct_resp_smc_handler()
510 				 uint64_t x3,  in msg_wait_handler()
582 				 uint64_t x3,  in ffa_error_handler()
624 				    uint64_t x3,  in ffa_version_handler()
677 				 uint64_t x3,  in rxtx_map_handler()
784 				   uint64_t x3,  in rxtx_unmap_handler()
994 					   uint64_t x3,  in partition_info_get_handler()
1161 				     uint64_t x3,  in ffa_features_handler()
1267 				   uint64_t x3,  in ffa_id_get_handler()
1289 				       uint64_t x3,  in ffa_spm_id_get_handler()
1310 				uint64_t x3,  in ffa_run_handler()
1388 				   uint64_t x3,  in rx_release_handler()
1451 					    uint64_t x3,  in ffa_sec_ep_register_handler()
1957 			  uint64_t x3,  in spmc_smc_handler()