Searched defs:dcache_wbinv_page (Results 1 – 2 of 2) sorted by relevance
342 dcache_wbinv_page(vaddr_t va) in dcache_wbinv_page() function
115 dcache_wbinv_page(vaddr_t va) in dcache_wbinv_page() function