Home
last modified time | relevance | path

Searched refs:set_top_pte (Results 1 – 5 of 5) sorted by relevance

/arch/arm/mm/
Dcopypage-v6.c90 set_top_pte(kfrom, mk_pte(from, PAGE_KERNEL)); in v6_copy_user_highpage_aliasing()
91 set_top_pte(kto, mk_pte(to, PAGE_KERNEL)); in v6_copy_user_highpage_aliasing()
116 set_top_pte(to, mk_pte(page, PAGE_KERNEL)); in v6_clear_user_highpage_aliasing()
Dcopypage-v4mc.c74 set_top_pte(COPYPAGE_MINICACHE, mk_pte(from, minicache_pgprot)); in v4_mc_copy_user_highpage()
Dcopypage-xscale.c94 set_top_pte(COPYPAGE_MINICACHE, mk_pte(from, minicache_pgprot)); in xscale_mc_copy_user_highpage()
Dmm.h26 static inline void set_top_pte(unsigned long va, pte_t pte) in set_top_pte() function
Dflush.c43 set_top_pte(to, pfn_pte(pfn, PAGE_KERNEL)); in flush_pfn_alias()
58 set_top_pte(va, pfn_pte(pfn, PAGE_KERNEL)); in flush_icache_alias()