semaphore.h File Reference

#include "service/cpu.h"
#include "service/logging.h"
#include "syscalls.h"
#include "service/profile.h"

Classes
class	KernelSemaphore
	A kernel semaphore optimized for consumer/producer. More...
class	Semaphore
	A user semaphore optimized for the case where we do not block. More...
class	SemaphoreGuard
	A Guard object for simplicity. More...