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()72 cpu_cache_wbinval_page(kaddr, vma->vm_flags & VM_EXEC); in update_mmu_cache()146 cpu_cache_wbinval_page(start, vma->vm_flags & VM_EXEC); in flush_cache_range()160 cpu_cache_wbinval_page(vto, vma->vm_flags & VM_EXEC); in flush_cache_page()
268 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);
256 cpu_cache_wbinval_page(base, true); in early_trap_init()
