180 u32 determine_mp_bootpg(unsigned int *pagesize)  in determine_mp_bootpg()  argument
194 	if (pagesize)  in determine_mp_bootpg()
195 		*pagesize = 4096;  in determine_mp_bootpg()
217 				if (pagesize)  in determine_mp_bootpg()
218 					*pagesize = 8192;  in determine_mp_bootpg()
250 static void plat_mp_up(unsigned long bootpg, unsigned int pagesize)  in plat_mp_up()  argument
273 	if (pagesize == 8192)  in plat_mp_up()
329 static void plat_mp_up(unsigned long bootpg, unsigned int pagesize)  in plat_mp_up()  argument
421 	u32 bootpg, bootpg_map, pagesize;  in setup_mp()  local
423 	bootpg = determine_mp_bootpg(&pagesize);  in setup_mp()
434 	if (pagesize == 8192)  in setup_mp()
467 		plat_mp_up(bootpg_map, pagesize);  in setup_mp()