Symbol: hat_dump
usr/src/uts/common/os/dumpsubr.c
2791
hat_dump();
usr/src/uts/common/vm/hat.h
93
void hat_dump(void);