Symbol: page_walk_fini
usr/src/cmd/mdb/common/modules/genunix/genunix.c
4757
page_walk_init, page_walk_step, page_walk_fini },
usr/src/cmd/mdb/common/modules/genunix/memory.h
34
void page_walk_fini(mdb_walk_state_t *);