Barrelfish
|
DCB wakeup queue management. More...
Functions | |
void | wakeup_set_queue_head (struct dcb *h) |
only use for restoring state | |
void | wakeup_set (struct dcb *dcb, systime_t waketime) |
Set the wakeup time for the given DCB. | |
void | wakeup_check (systime_t now) |
Check for wakeups, given the current time. | |
DCB wakeup queue management.