Searched refs:wakeup_queue_head (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/kernel/
H A Dwakeup.c17 #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 Dkcb.c100 for (struct dcb *d = kcb->wakeup_queue_head; d; d=d->wakeup_next) {
/barrelfish-master/kernel/include/
H A Dkcb.h64 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 Dstartup_x86.c536 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