28 uint64_t tsp_main(void)  in tsp_main()
55 	return (uint64_t) &tsp_vector_table;  in tsp_main()
89 smc_args_t *tsp_cpu_off_main(uint64_t arg0,  in tsp_cpu_off_main()
90 			   uint64_t arg1,  in tsp_cpu_off_main()
91 			   uint64_t arg2,  in tsp_cpu_off_main()
92 			   uint64_t arg3,  in tsp_cpu_off_main()
93 			   uint64_t arg4,  in tsp_cpu_off_main()
94 			   uint64_t arg5,  in tsp_cpu_off_main()
95 			   uint64_t arg6,  in tsp_cpu_off_main()
96 			   uint64_t arg7)  in tsp_cpu_off_main()
128 smc_args_t *tsp_cpu_suspend_main(uint64_t arg0,  in tsp_cpu_suspend_main()
129 			       uint64_t arg1,  in tsp_cpu_suspend_main()
130 			       uint64_t arg2,  in tsp_cpu_suspend_main()
131 			       uint64_t arg3,  in tsp_cpu_suspend_main()
132 			       uint64_t arg4,  in tsp_cpu_suspend_main()
133 			       uint64_t arg5,  in tsp_cpu_suspend_main()
134 			       uint64_t arg6,  in tsp_cpu_suspend_main()
135 			       uint64_t arg7)  in tsp_cpu_suspend_main()
166 smc_args_t *tsp_cpu_resume_main(uint64_t max_off_pwrlvl,  in tsp_cpu_resume_main()
167 			      uint64_t arg1,  in tsp_cpu_resume_main()
168 			      uint64_t arg2,  in tsp_cpu_resume_main()
169 			      uint64_t arg3,  in tsp_cpu_resume_main()
170 			      uint64_t arg4,  in tsp_cpu_resume_main()
171 			      uint64_t arg5,  in tsp_cpu_resume_main()
172 			      uint64_t arg6,  in tsp_cpu_resume_main()
173 			      uint64_t arg7)  in tsp_cpu_resume_main()
202 smc_args_t *tsp_smc_handler(uint64_t func,  in tsp_smc_handler()
203 			       uint64_t arg1,  in tsp_smc_handler()
204 			       uint64_t arg2,  in tsp_smc_handler()
205 			       uint64_t arg3,  in tsp_smc_handler()
206 			       uint64_t arg4,  in tsp_smc_handler()
207 			       uint64_t arg5,  in tsp_smc_handler()
208 			       uint64_t arg6,  in tsp_smc_handler()
209 			       uint64_t arg7)  in tsp_smc_handler()
212 	uint64_t service_arg0;  in tsp_smc_handler()
213 	uint64_t service_arg1;  in tsp_smc_handler()
214 	uint64_t results[2];  in tsp_smc_handler()
238 	service_arg0 = (uint64_t)service_args;  in tsp_smc_handler()
239 	service_arg1 = (uint64_t)(service_args >> 64U);  in tsp_smc_handler()