l4semaphore Struct Reference

#include <semaphore.h>

Data Fields
volatile int	counter
int	pending
void *	queue

---

Detailed Description

Semaphore type

Definition at line 56 of file semaphore.h.

---

Field Documentation

volatile int l4semaphore::counter

semaphore counter

Definition at line 58 of file semaphore.h.

int l4semaphore::pending

wakeup notification pending counter

Definition at line 59 of file semaphore.h.

void* l4semaphore::queue

wait queue

Definition at line 60 of file semaphore.h.

---

The documentation for this struct was generated from the following file:

• semaphore.h