pmap_dumpsize
sz += pmap_dumpsize();
int pmap_dumpsize(void);
blkno += pmap_dumpsize();
dumpblks = ctod(physmem) + pmap_dumpsize();
ksegp->c_size = dbtob(pmap_dumpsize()) - ALIGN(sizeof(kcore_seg_t));
int pmap_dumpsize(void);
dumpblks = ctod(physmem) + pmap_dumpsize();
blkno += pmap_dumpsize();
kseg->c_size = dbtob(pmap_dumpsize()) - ALIGN(sizeof(kcore_seg_t));