set_top_pte        74 arch/arm/mm/copypage-v4mc.c 	set_top_pte(COPYPAGE_MINICACHE, mk_pte(from, minicache_pgprot));
set_top_pte        90 arch/arm/mm/copypage-v6.c 	set_top_pte(kfrom, mk_pte(from, PAGE_KERNEL));
set_top_pte        91 arch/arm/mm/copypage-v6.c 	set_top_pte(kto, mk_pte(to, PAGE_KERNEL));
set_top_pte       116 arch/arm/mm/copypage-v6.c 	set_top_pte(to, mk_pte(page, PAGE_KERNEL));
set_top_pte        94 arch/arm/mm/copypage-xscale.c 	set_top_pte(COPYPAGE_MINICACHE, mk_pte(from, minicache_pgprot));
set_top_pte        43 arch/arm/mm/flush.c 	set_top_pte(to, pfn_pte(pfn, PAGE_KERNEL));
set_top_pte        58 arch/arm/mm/flush.c 	set_top_pte(va, pfn_pte(pfn, PAGE_KERNEL));