179 u32 determine_mp_bootpg(unsigned int *pagesize)  in determine_mp_bootpg()  argument
193 	if (pagesize)  in determine_mp_bootpg()
194 		*pagesize = 4096;  in determine_mp_bootpg()
216 				if (pagesize)  in determine_mp_bootpg()
217 					*pagesize = 8192;  in determine_mp_bootpg()
249 static void plat_mp_up(unsigned long bootpg, unsigned int pagesize)  in plat_mp_up()  argument
271 	/* pagesize is only 4K or 8K */  in plat_mp_up()
272 	if (pagesize == 8192)  in plat_mp_up()
328 static void plat_mp_up(unsigned long bootpg, unsigned int pagesize)  in plat_mp_up()  argument
420 	u32 bootpg, bootpg_map, pagesize;  in setup_mp()  local
422 	bootpg = determine_mp_bootpg(&pagesize);  in setup_mp()
425 	 * pagesize is only 4K or 8K  in setup_mp()
433 	if (pagesize == 8192)  in setup_mp()
466 		plat_mp_up(bootpg_map, pagesize);  in setup_mp()