Symbol: dump_drop_page
sys/platform/pc64/include/md_var.h
126
void dump_drop_page(vm_paddr_t);
sys/platform/pc64/x86_64/minidump_machdep.c
314
dump_drop_page(pa);