Searched refs:icache_inv (Results 1 – 3 of 3) sorted by relevance
160 icache_inv(vaddr_t va, vsize_t len) in icache_inv() function
82 icache_inv(pte_to_paddr(pt_entry) + off, segeva - va); in pmap_procwr()
400 void icache_inv(vaddr_t, vsize_t);