Searched refs:cpu_cache_wbinval_page (Results 1 – 4 of 4) sorted by relevance
34 cpu_cache_wbinval_page(kaddr, vma->vm_flags & VM_EXEC); in flush_icache_page()73 cpu_cache_wbinval_page(kaddr, vma->vm_flags & VM_EXEC); in update_mmu_cache()147 cpu_cache_wbinval_page(start, vma->vm_flags & VM_EXEC); in flush_cache_range()161 cpu_cache_wbinval_page(vto, vma->vm_flags & VM_EXEC); in flush_cache_page()
265 void cpu_cache_wbinval_page(unsigned long page, int flushi) in cpu_cache_wbinval_page() function
31 extern void cpu_cache_wbinval_page(unsigned long page, int flushi);
254 cpu_cache_wbinval_page(base, true); in early_trap_init()
