Symbol: hat_flush_range
usr/src/uts/common/os/dumpsubr.c
1938
hat_flush_range(kas.a_hat,
usr/src/uts/common/vm/hat.h
220
void hat_flush_range(struct hat *, caddr_t, size_t);