coredump_unmap
coredump_unmap(cookie, (vaddr_t)pent->p_vaddr,
void coredump_unmap(void *, vaddr_t, vaddr_t);