Symbol: coredump_unmap
sys/kern/exec_elf.c
1227
coredump_unmap(cookie, (vaddr_t)pent->p_vaddr,
sys/sys/core.h
98
void coredump_unmap(void *, vaddr_t, vaddr_t);