Searched refs:icache_inv_page (Results 1 – 4 of 4) sorted by relevance
133 icache_inv_page(vaddr_t va) in icache_inv_page() function
105 icache_inv_page(pa); in pmap_md_page_syncicache()
315 icache_inv_page(pa); in isi_exception()
396 void icache_inv_page(vaddr_t);