#include <thread.h> int mutex_unlock(mutex_t *mp);
Use mutex_unlock() to unlock the mutex pointed to by mp. The mutex must be locked and the calling thread must be the one that last locked the mutex (the owner).