hat_unlock
hat_unlock(hat_t *hat, caddr_t addr, size_t len)
hat_unlock(struct hat *sfmmup, caddr_t addr, size_t len)