#include <thread.h> int sema_destroy(sema_t *sp);
sema_destroy() は、sp が指すセマフォを削除します。セマフォを格納する領域は解放されません。
