hat_flush_range
hat_flush_range(hat_t *hat, caddr_t va, size_t size)
hat_flush_range(struct hat *sfmmup, caddr_t va, size_t size)