pmap_kremove
pmap_kremove(va, sz);
pmap_kremove(start, end - start);
pmap_kremove(ova, osz);
pmap_kremove(va, sz);
pmap_kremove((vaddr_t)kva, size);
pmap_kremove(va, sz);
pmap_kremove(startva, endva);
pmap_kremove(va, sz);
pmap_kremove(va, sz);
pmap_kremove(va, endva - va);
pmap_kremove(va, sz);
pmap_kremove(va, endva - va);
pmap_kremove(va, endva - va);
pmap_kremove(va, endva - va);
pmap_kremove(va, sz);
pmap_kremove((vaddr_t) kva, size);
pmap_kremove(va, endva - va);
pmap_kremove(va, endva - va);
pmap_kremove(va, endva - va);
pmap_kremove(va, endva - va);
pmap_kremove(va, endva - va);
pmap_kremove(va, sz);
pmap_kremove(va, endva - va);
pmap_kremove(vaddr, size);
pmap_kremove(va, endva - va);
pmap_kremove(va, size);
pmap_kremove(kva, size);
pmap_kremove(bootinfo_va, PAGE_SIZE);
pmap_kremove(v, 0x03000000);
pmap_kremove(0, PAGE_SIZE);
pmap_kremove((vaddr_t)kva, size);
pmap_kremove(va, endva - va);
pmap_kremove(va, endva - va);
pmap_kremove(vaddr, size);
pmap_kremove(va, size);
pmap_kremove((vaddr_t)vmmap, PAGE_SIZE);
pmap_kremove(stpg_va, PAGE_SIZE);
pmap_kremove(stpg_va, PAGE_SIZE);
pmap_kremove(kva, len);
pmap_kremove(va, endva - va);
pmap_kremove(va, realsz);
pmap_kremove(va, sz);
pmap_kremove(kva, len);
pmap_kremove(vaddr, len);
pmap_kremove(va, endva - va);
pmap_kremove(va, len);
pmap_kremove(va, PAGE_SIZE);
pmap_kremove(faddr, len);
STATIC void pmap_kremove(vaddr_t, vsize_t);
.pmapop_kremove = pmap_kremove,
void pmap_kremove(vaddr_t, vsize_t) __stub;
pmap_kremove(va, size);
pmap_kremove(addr, len);
pmap_kremove(addr, len);
pmap_kremove((vaddr_t)kva, size);
pmap_kremove(va, sz);
pmap_kremove(kva, len);
pmap_kremove((vaddr_t)memhook, (vaddr_t)memhook + PAGE_SIZE);
pmap_kremove((vaddr_t)kva, size);
pmap_kremove(dumpspace, n);
pmap_kremove((vaddr_t)kva, size);
pmap_kremove(dva, len);
pmap_kremove((vaddr_t)KERNBASE, size);
pmap_kremove((vaddr_t)KERNBASE, 8192);
pmap_kremove(va, round_page(size));
pmap_kremove(va, NBPG);
pmap_kremove(va, PAGE_SIZE);
pmap_kremove((vaddr_t)kva, size);
pmap_kremove(dumpspace, n);
pmap_kremove(kva, len);
pmap_kremove(vmmap, PAGE_SIZE);
pmap_kremove(vmmap, PAGE_SIZE);
pmap_kremove(pgva, PAGE_SIZE);
pmap_kremove(kva, len);
pmap_kremove(dva, sgsize);
pmap_kremove(vmmap, PAGE_SIZE);
pmap_kremove(srcva, PAGE_SIZE);
pmap_kremove(dstva, PAGE_SIZE);
pmap_kremove(dstva, PAGE_SIZE);
pmap_kremove(va, endva - va);
pmap_kremove(va, endva - va);
pmap_kremove(mp_trampoline_vaddr, PAGE_SIZE);
pmap_kremove(istack, PAGE_SIZE);
pmap_kremove(istack + INTRSTACKSIZE + PAGE_SIZE, PAGE_SIZE);
pmap_kremove(handle->baseva, handle->vsize);
pmap_kremove(sys_bios_data, PAGE_SIZE);
pmap_kremove(sc->sys_image, 1024 * 1024);
pmap_kremove(addr, len);
pmap_kremove(va, PAGE_SIZE);
pmap_kremove(va, PAGE_SIZE);
pmap_kremove(istack, PAGE_SIZE);
pmap_kremove(istack + INTRSTACKSIZE + PAGE_SIZE, PAGE_SIZE);
pmap_kremove(va + i * PAGE_SIZE, PAGE_SIZE);
pmap_kremove(va, PAGE_SIZE);
pmap_kremove((vaddr_t)grant_table.gntt, gnt_nr_grant_frames * PAGE_SIZE);
pmap_kremove((vaddr_t)grant_status, gnt_status_frames * PAGE_SIZE);
pmap_kremove(va, PAGE_SIZE);
pmap_kremove(startva, sz);
pmap_kremove(va, PAGE_SIZE);
pmap_kremove(va, npages * PAGE_SIZE);
pmap_kremove(va, npages * PAGE_SIZE);
pmap_kremove(ova, osz);
pmap_kremove(pc->pc_kva, pc->pc_klen);
pmap_kremove(pc->pc_kva, pc->pc_klen);
pmap_kremove(sva, len);
pmap_kremove(kva, klen);
pmap_kremove(va, ubc_winsize);
pmap_kremove(umapva, ubc_winsize);
pmap_kremove(batch_vastart, va - batch_vastart);
pmap_kremove(kva, size);
void pmap_kremove(vaddr_t, vsize_t);
pmap_kremove(tester_ctx.levels[0], PAGE_SIZE);
pmap_kremove(tester_ctx.levels[1], PAGE_SIZE);
pmap_kremove(tester_ctx.levels[2], PAGE_SIZE);
pmap_kremove(tester_ctx.levels[3], PAGE_SIZE);