GuardedSemaphore, a guarded interface for Semaphore More...
#include "sync/semaphore.h"
#include "interrupt/guarded.h"
GuardedSemaphore, a guarded interface for Semaphore