30 uint64_t tsp_main(void)  in tsp_main()
57 	return (uint64_t) &tsp_vector_table;  in tsp_main()
91 smc_args_t *tsp_cpu_off_main(uint64_t arg0,  in tsp_cpu_off_main()
92 			   uint64_t arg1,  in tsp_cpu_off_main()
93 			   uint64_t arg2,  in tsp_cpu_off_main()
94 			   uint64_t arg3,  in tsp_cpu_off_main()
95 			   uint64_t arg4,  in tsp_cpu_off_main()
96 			   uint64_t arg5,  in tsp_cpu_off_main()
97 			   uint64_t arg6,  in tsp_cpu_off_main()
98 			   uint64_t arg7)  in tsp_cpu_off_main()
130 smc_args_t *tsp_cpu_suspend_main(uint64_t arg0,  in tsp_cpu_suspend_main()
131 			       uint64_t arg1,  in tsp_cpu_suspend_main()
132 			       uint64_t arg2,  in tsp_cpu_suspend_main()
133 			       uint64_t arg3,  in tsp_cpu_suspend_main()
134 			       uint64_t arg4,  in tsp_cpu_suspend_main()
135 			       uint64_t arg5,  in tsp_cpu_suspend_main()
136 			       uint64_t arg6,  in tsp_cpu_suspend_main()
137 			       uint64_t arg7)  in tsp_cpu_suspend_main()
168 smc_args_t *tsp_cpu_resume_main(uint64_t max_off_pwrlvl,  in tsp_cpu_resume_main()
169 			      uint64_t arg1,  in tsp_cpu_resume_main()
170 			      uint64_t arg2,  in tsp_cpu_resume_main()
171 			      uint64_t arg3,  in tsp_cpu_resume_main()
172 			      uint64_t arg4,  in tsp_cpu_resume_main()
173 			      uint64_t arg5,  in tsp_cpu_resume_main()
174 			      uint64_t arg6,  in tsp_cpu_resume_main()
175 			      uint64_t arg7)  in tsp_cpu_resume_main()
204 smc_args_t *tsp_smc_handler(uint64_t func,  in tsp_smc_handler()
205 			       uint64_t arg1,  in tsp_smc_handler()
206 			       uint64_t arg2,  in tsp_smc_handler()
207 			       uint64_t arg3,  in tsp_smc_handler()
208 			       uint64_t arg4,  in tsp_smc_handler()
209 			       uint64_t arg5,  in tsp_smc_handler()
210 			       uint64_t arg6,  in tsp_smc_handler()
211 			       uint64_t arg7)  in tsp_smc_handler()
214 	uint64_t service_arg0;  in tsp_smc_handler()
215 	uint64_t service_arg1;  in tsp_smc_handler()
216 	uint64_t results[2];  in tsp_smc_handler()
240 	service_arg0 = (uint64_t)service_args;  in tsp_smc_handler()
241 	service_arg1 = (uint64_t)(service_args >> 64U);  in tsp_smc_handler()