Barrelfish
|
Functions | |
void | sys_mbox_fetch (sys_mbox_t mbox, void **msg) |
void | sys_sem_wait (sys_sem_t sem) |
void | sys_timeout (u32_t msecs, sys_timeout_handler h, void *arg) |
void | sys_untimeout (sys_timeout_handler h, void *arg) |
int | sys_sem_wait_timeout (sys_sem_t sem, u32_t timeout) |
void | sys_msleep (u32_t ms) |
lwIP Operating System abstraction
void sys_mbox_fetch | ( | sys_mbox_t | mbox, |
void ** | msg | ||
) |
Wait (forever) for a message to arrive in an mbox. While waiting, timeouts (for this thread) are processed.
mbox | the mbox to fetch the message from |
msg | the place to store the message |
void sys_msleep | ( | u32_t | ms | ) |
Sleep for some ms. Timeouts are processed while sleeping.
ms | number of milliseconds to sleep |
void sys_sem_wait | ( | sys_sem_t | sem | ) |
Wait (forever) for a semaphore to become available. While waiting, timeouts (for this thread) are processed.
sem | semaphore to wait for |
int sys_sem_wait_timeout | ( | sys_sem_t | sem, |
u32_t | timeout | ||
) |
Wait for a semaphore with timeout (specified in ms)
sem | semaphore to wait |
timeout | timeout in ms (0: wait forever) |
void sys_timeout | ( | u32_t | msecs, |
sys_timeout_handler | h, | ||
void * | arg | ||
) |
Create a one-shot timer (aka timeout). Timeouts are processed in the following cases:
msecs | time in milliseconds after that the timer should expire |
h | callback function to call when msecs have elapsed |
arg | argument to pass to the callback function |
void sys_untimeout | ( | sys_timeout_handler | h, |
void * | arg | ||
) |
Go through timeout list (for this task only) and remove the first matching entry, even though the timeout has not triggered yet.
h | callback function that would be called by the timeout |
arg | callback argument that would be passed to h |