564 	} else if (page < sat->page_num || page < sat->cpu_num * 4) {  in get_page_addr()
607 	for (cpu = 0; cpu < sat->cpu_num; cpu++) {  in page_init()
609 		for (i = cpu; i < sat->page_num; i += sat->cpu_num) {  in page_init()
617 		while (empty_page_num >= sat->page_num / sat->cpu_num / 2 && i > 0) {  in page_init()
618 			i -= sat->cpu_num;  in page_init()
630 			i += sat->cpu_num;  in page_init()
649 	pick = pick / sat->cpu_num * sat->cpu_num + cpu_id;  in page_rand_pick()
654 		pick += sat->cpu_num;  in page_rand_pick()
976 	cpu_id = sat.cpu_num;  in secondary_main()
1038 		for (sat.cpu_num = 1; sat.cpu_num < CPU_NUM_MAX; sat.cpu_num++) {  in doing_stressapptest()
1041 			if (psci_cpu_on(sat.cpu_num, (ulong)secondary_init) == 0) {  in doing_stressapptest()
1043 				printf("Calling CPU%d, sp = 0x%lx\n", sat.cpu_num, __sp);  in doing_stressapptest()
1047 			while (cpu_init_finish[sat.cpu_num] == 0) {  in doing_stressapptest()
1054 	sat.cpu_num = 1;  in doing_stressapptest()
1083 	if (sat.cpu_num > 1) {  in doing_stressapptest()
1114 	for (i = 1; i < sat.cpu_num; i++) {  in doing_stressapptest()
1131 	for (i = 0; i < sat.cpu_num; i++) {  in doing_stressapptest()