hat_unlock_region
hat_unlock_region(struct hat *hat, caddr_t addr, size_t len,
hat_unlock_region(struct hat *sfmmup, caddr_t addr, size_t len,