#ifndef __SEMAPHORE_H
#define __SEMAPHORE_H

#include "scheduler.h"

struct semaphore;
void semaphore_signal(struct semaphore *self);
void semaphore_wait(struct semaphore *self);
void semaphore_print(struct semaphore *self);
const char *semaphore_name(struct semaphore *self);
struct semaphore *semaphore_new(struct scheduler *sched, const char *name);

#endif /* __SEMAPHORE_H */