Searched refs:__inv_icache_page (Results 1 – 3 of 3) sorted by relevance
33 void __inv_icache_page(phys_addr_t paddr, unsigned long vaddr);
924 void __inv_icache_page(phys_addr_t paddr, unsigned long vaddr) in __inv_icache_page() function968 __inv_icache_page(paddr, u_vaddr); in flush_cache_page()
502 __inv_icache_page(paddr, vaddr); in update_mmu_cache()