vtag_flushpage
vtag_flushpage(addr, (uint64_t)sfmmup);
vtag_flushpage(va, (uint64_t)sfmmup);
vtag_flushpage(addr, (uint64_t)sfmmup);
vtag_flushpage(addr, (uint64_t)sfmmup);
vtag_flushpage(addr, (uint64_t)sfmmup);
vtag_flushpage(va, (uint64_t)sfmmup);
vtag_flushpage(addr, (uint64_t)ksfmmup);
vtag_flushpage(new_va, (uint64_t)ksfmmup);
vtag_flushpage(va, (uint64_t)ksfmmup);
vtag_flushpage(new_va, (uint64_t)ksfmmup);
vtag_flushpage(va, (uint64_t)ksfmmup);
vtag_flushpage(vaddr, (uint64_t)ksfmmup);
vtag_flushpage(va, (uint64_t)ksfmmup);
vtag_flushpage(va, (uint64_t)ksfmmup);
void vtag_flushpage(caddr_t addr, uint64_t sfmmup);
vtag_flushpage(vaddr, (uint64_t)ksfmmup);
vtag_flushpage(va, (uint64_t)ksfmmup);
vtag_flushpage(va, (uint64_t)ksfmmup);
vtag_flushpage(va, (uint64_t)ksfmmup);
vtag_flushpage(va, (uint64_t)ksfmmup);
vtag_flushpage(va, (uint64_t)ksfmmup);
void vtag_flushpage(caddr_t addr, uint64_t sfmmup);