Searched refs:wakeup_queue_head (Results 1 - 4 of 4) sorted by relevance
/barrelfish-master/kernel/ |
H A D | wakeup.c | 17 #include <kcb.h> // kcb_current->wakeup_queue_head 25 kcb_current->wakeup_queue_head = h; 42 assert(kcb_current->wakeup_queue_head == dcb); 68 for (struct dcb *d = kcb_current->wakeup_queue_head, *p = NULL; ; p = d, d = d->wakeup_next) { 71 assert(d == kcb_current->wakeup_queue_head); 94 struct dcb *d = kcb_current->wakeup_queue_head, *next = NULL; 110 return kcb_current->wakeup_queue_head != NULL;
|
H A D | kcb.c | 100 for (struct dcb *d = kcb->wakeup_queue_head; d; d=d->wakeup_next) {
|
/barrelfish-master/kernel/include/ |
H A D | kcb.h | 64 struct dcb *wakeup_queue_head; member in struct:kcb 94 printk(LOG_DEBUG, " wakeup_queue_head = %p\n", kcb_current->wakeup_queue_head);
|
/barrelfish-master/kernel/arch/x86/ |
H A D | startup_x86.c | 536 printk(LOG_DEBUG, "%s:%s:%d: kcb_current->wakeup_queue_head = %p\n", 537 __FILE__, __FUNCTION__, __LINE__, kcb_current->wakeup_queue_head); 538 wakeup_set_queue_head(kcb_current->wakeup_queue_head);
|
Completed in 100 milliseconds