105 	INFO("TSP: Total memory base : 0x%lx\n", (unsigned long) BL32_BASE);  in tsp_main()
106 	INFO("TSP: Total memory size : 0x%lx bytes\n", BL32_TOTAL_SIZE);  in tsp_main()
123 	INFO("TSP: cpu 0x%lx: %d smcs, %d erets %d cpu on requests\n",  in tsp_main()
152 	INFO("TSP: cpu 0x%lx turned on\n", read_mpidr());  in tsp_cpu_on_main()
153 	INFO("TSP: cpu 0x%lx: %d smcs, %d erets %d cpu on requests\n",  in tsp_cpu_on_main()
193 	INFO("TSP: cpu 0x%lx off request\n", read_mpidr());  in tsp_cpu_off_main()
194 	INFO("TSP: cpu 0x%lx: %d smcs, %d erets %d cpu off requests\n",  in tsp_cpu_off_main()
236 	INFO("TSP: cpu 0x%lx: %d smcs, %d erets %d cpu suspend requests\n",  in tsp_cpu_suspend_main()
274 	INFO("TSP: cpu 0x%lx resumed. maximum off power level %lld\n",  in tsp_cpu_resume_main()
276 	INFO("TSP: cpu 0x%lx: %d smcs, %d erets %d cpu suspend requests\n",  in tsp_cpu_resume_main()
308 	INFO("TSP: cpu 0x%lx SYSTEM_OFF request\n", read_mpidr());  in tsp_system_off_main()
309 	INFO("TSP: cpu 0x%lx: %d smcs, %d erets requests\n", read_mpidr(),  in tsp_system_off_main()
340 	INFO("TSP: cpu 0x%lx SYSTEM_RESET request\n", read_mpidr());  in tsp_system_reset_main()
341 	INFO("TSP: cpu 0x%lx: %d smcs, %d erets requests\n", read_mpidr(),  in tsp_system_reset_main()
374 	INFO("TSP: cpu 0x%lx received %s smc 0x%llx\n", read_mpidr(),  in tsp_smc_handler()
377 	INFO("TSP: cpu 0x%lx: %d smcs, %d erets\n", read_mpidr(),  in tsp_smc_handler()