minicache_pgprot   74 arch/arm/mm/copypage-v4mc.c 	set_top_pte(COPYPAGE_MINICACHE, mk_pte(from, minicache_pgprot));
minicache_pgprot   94 arch/arm/mm/copypage-xscale.c 	set_top_pte(COPYPAGE_MINICACHE, mk_pte(from, minicache_pgprot));