hat_sync
void hat_sync(struct hat *, caddr_t, size_t, uint_t);
hat_sync(as->a_hat, addr, len, clearflag);