pmap_invalidate_range
pmap_invalidate_range(kernel_pmap, sva, sva + len);
pmap_invalidate_range(kernel_pmap, sva, eva);
pmap_invalidate_range(pmap, sva, eva);
pmap_invalidate_range(pmap, va, va + NBPDR - 1);
pmap_invalidate_range(kernel_pmap, sva, sva + count *
pmap_invalidate_range(kernel_pmap, sva, va);
pmap_invalidate_range(pmap, va, sva);
pmap_invalidate_range(pmap, va, sva);
pmap_invalidate_range(pmap, va, sva);
pmap_invalidate_range(pmap, va, sva);
pmap_invalidate_range(kernel_pmap, va, va + tmpsize);
pmap_invalidate_range(kernel_pmap, base, tmpva);
void pmap_invalidate_range(pmap_t, vm_offset_t, vm_offset_t);
pmap_invalidate_range(pmap, *vap, va,
pmap_invalidate_range(pmap, va, sva, true);
pmap_invalidate_range(pmap, va,
pmap_invalidate_range(pmap, va, sva, true);
pmap_invalidate_range(pmap, va & ~L3C_OFFSET, (va + L3C_SIZE) &
void pmap_invalidate_range(pmap_t, vm_offset_t, vm_offset_t);
pmap_invalidate_range(pmap, va, va + L3_PAGE_SIZE - 1);
pmap_invalidate_range(kernel_pmap, sva, sva + count *
pmap_invalidate_range(kernel_pmap, sva, va);
pmap_invalidate_range(pmap, va, sva);
pmap_invalidate_range(kernel_pmap, sva, va);
pmap_invalidate_range(kernel_pmap, sva, va);
pmap_invalidate_range(kernel_pmap, sva, va);
pmap_invalidate_range(kernel_pmap, sva, va);
pmap_invalidate_range(pmap, sva, sva + L2_SIZE);
pmap_invalidate_range(pmap, va, sva);
pmap_invalidate_range(pmap, va, sva);
pmap_invalidate_range(kernel_pmap, base, tmpva);