Releasing a semaphore

A semaphore is released with:

void up(struct semaphore *sem);

Notes:
Only a legitimate holder can call up()
It always succeeds