cache_flush_page
cache_flush_page(va, pm->pm_ctxnum);
cache_flush_page(va, pm->pm_ctxnum);
cache_flush_page(va, pm->pm_ctxnum);
cache_flush_page(va, pm->pm_ctxnum);
cache_flush_page(pv->pv_va, pm->pm_ctxnum);
cache_flush_page(pv->pv_va, pm->pm_ctxnum);
cache_flush_page(va, 0);
cache_flush_page(va, 0);
cache_flush_page(va, 0);
cache_flush_page(va, pm->pm_ctxnum);
cache_flush_page(va, pm->pm_ctxnum);
cache_flush_page(va, pm->pm_ctxnum);
cache_flush_page(va, pm->pm_ctxnum);
cache_flush_page(va, pm->pm_ctxnum);
cache_flush_page(va, pm->pm_ctxnum);
cache_flush_page(va, pm->pm_ctxnum);
cache_flush_page(va, pm->pm_ctxnum);
cache_flush_page(va, 0);
cache_flush_page(va, pm->pm_ctxnum);
cache_flush_page(va, 0);
cache_flush_page(va, 0);
cache_flush_page(va, 0);
cache_flush_page(va, pm->pm_ctxnum);
cache_flush_page(va, 0);
cache_flush_page(va, 0);
cache_flush_page((vaddr_t)sva, getcontext4());
cache_flush_page((vaddr_t)va, 0);
cache_flush_page((vaddr_t)va, 0);
cache_flush_page(va);
cache_flush_page(va);
cache_flush_page(pgva);
cache_flush_page(pgva);
cache_flush_page(pgva);
cache_flush_page(pgva);
cache_flush_page(pgva);
void cache_flush_page(vaddr_t);
cache_flush_page(va);
cache_flush_page(va);
cache_flush_page(pgva);
cache_flush_page(pgva);
cache_flush_page(pgva);
cache_flush_page(pgva);
cache_flush_page(pgva);
cache_flush_page(pgva);
cache_flush_page(pgva);