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