bl32/tsp/tsp_main.c

34 	INFO("TSP: Total memory base : 0x%lx\n", (unsigned long) BL32_BASE);  in tsp_main()
35 	INFO("TSP: Total memory size : 0x%lx bytes\n", BL32_TOTAL_SIZE);  in tsp_main()
50 	INFO("TSP: cpu 0x%lx: %u smcs, %u erets %u cpu on requests\n",  in tsp_main()
77 	INFO("TSP: cpu 0x%lx turned on\n", read_mpidr());  in tsp_cpu_on_main()
78 	INFO("TSP: cpu 0x%lx: %u smcs, %u erets %u cpu on requests\n",  in tsp_cpu_on_main()
114 	INFO("TSP: cpu 0x%lx off request\n", read_mpidr());  in tsp_cpu_off_main()
115 	INFO("TSP: cpu 0x%lx: %u smcs, %u erets %u cpu off requests\n",  in tsp_cpu_off_main()
153 	INFO("TSP: cpu 0x%lx: %u smcs, %u erets %u cpu suspend requests\n",  in tsp_cpu_suspend_main()
187 	INFO("TSP: cpu 0x%lx resumed. maximum off power level %" PRIu64 "\n",  in tsp_cpu_resume_main()
189 	INFO("TSP: cpu 0x%lx: %u smcs, %u erets %u cpu resume requests\n",  in tsp_cpu_resume_main()
224 	INFO("TSP: cpu 0x%lx received %s smc 0x%" PRIx64 "\n", read_mpidr(),  in tsp_smc_handler()
227 	INFO("TSP: cpu 0x%lx: %u smcs, %u erets\n", read_mpidr(),  in tsp_smc_handler()