Lines Matching defs:kcb
16 #include <kcb.h>
20 // this is used to pin a kcb for critical sections
23 void kcb_add(struct kcb* new_kcb)
40 errval_t kcb_remove(struct kcb *to_remove)
61 for (struct kcb* k = kcb_current->next; k != kcb_current; k = k->next) {
72 // Clear next and prev of removed kcb
84 void kcb_update_core_id(struct kcb *kcb)
87 for (struct dcb *d = kcb->queue_head; d; d = d->next) {
100 for (struct dcb *d = kcb->wakeup_queue_head; d; d=d->wakeup_next) {
109 struct capability *cap = &kcb->irq_dispatch[i].cap;