pmap_invalidate_page
pmap_invalidate_page(pmap, va);
pmap_invalidate_page(pmap, va);
pmap_invalidate_page(pmap, va);
pmap_invalidate_page(pmap, va);
pmap_invalidate_page(pmap, (vm_offset_t)vtopte(va));
pmap_invalidate_page(pmap, (vm_offset_t)vtopte(va));
pmap_invalidate_page(pmap, va);
pmap_invalidate_page(pmap, pv->pv_va);
pmap_invalidate_page(pmap, sva);
pmap_invalidate_page(pmap, va);
pmap_invalidate_page(pmap, va);
pmap_invalidate_page(pmap, va);
pmap_invalidate_page(pmap, pv->pv_va);
pmap_invalidate_page(pmap, pv->pv_va);
pmap_invalidate_page(pmap, va);
pmap_invalidate_page(pmap, pv->pv_va);
pmap_invalidate_page(pmap, pv->pv_va);
pmap_invalidate_page(pmap, va);
pmap_invalidate_page(pmap, pv->pv_va);
pmap_invalidate_page(pmap, (vm_offset_t)vtopde(va));
pmap_invalidate_page(kernel_pmap, va);
void pmap_invalidate_page(pmap_t, vm_offset_t);
pmap_invalidate_page(pmap, va, false);
pmap_invalidate_page(pmap, pv->pv_va, true);
pmap_invalidate_page(pmap, va, true);
pmap_invalidate_page(pmap, va, true);
pmap_invalidate_page(pmap, va, true);
pmap_invalidate_page(pmap, pv->pv_va, true);
pmap_invalidate_page(pmap, va, true);
pmap_invalidate_page(pmap, pv->pv_va, true);
pmap_invalidate_page(kernel_pmap,(vm_offset_t)ptvmmap);
pmap_invalidate_page (kernel_pmap, va);
pmap_invalidate_page(kernel_pmap, vmc->pmap[i].kva);
pmap_invalidate_page(kernel_pmap, vmc->pmap[i].kva);
pmap_invalidate_page(kernel_pmap, vmc->pmap[i].kva);
pmap_invalidate_page(kernel_pmap, vmc->pmap[i].kva);
void pmap_invalidate_page(pmap_t, vm_offset_t);
pmap_invalidate_page(pmap, va);
pmap_invalidate_page(pmap, pv->pv_va);
pmap_invalidate_page(pmap, va);
pmap_invalidate_page(pmap, va);
pmap_invalidate_page(pmap, pv->pv_va);
pmap_invalidate_page(pmap, pv->pv_va);
pmap_invalidate_page(pmap, va);
pmap_invalidate_page(pmap, pv->pv_va);
pmap_invalidate_page(pmap, pv->pv_va);
static void pmap_invalidate_page(pmap_t pmap, vm_offset_t start);
pmap_invalidate_page(pmap, va);
pmap_invalidate_page(kernel_pmap, kernel_vm_end);
pmap_invalidate_page(pmap, va);
pmap_invalidate_page(pmap, pv->pv_va);
pmap_invalidate_page(pmap, va);
pmap_invalidate_page(pmap, va);
pmap_invalidate_page(pmap, va);
pmap_invalidate_page(pmap, pv->pv_va);
pmap_invalidate_page(pmap, va);
pmap_invalidate_page(pmap, pv->pv_va);
pmap_invalidate_page(pmap, va);
pmap_invalidate_page(pmap, pv->pv_va);