Symbol: dump_page
usr/src/uts/common/sys/dumphdr.h
186
extern void dump_page(pfn_t);
usr/src/uts/i86pc/vm/htable.c
2473
dump_page(ht->ht_pfn);