ntsync_sem_release
error = ntsync_sem_release(td, fp, &val);
error = ntsync_sem_release(td, fp, data);
int ntsync_sem_release(struct thread *td, struct file *fp, uint32_t *val);