Lines Matching defs:kcb
69 #include <kcb.h>
421 struct kcb *k = kcb_current;
428 // if k == NULL we don't need to switch as we only have a single kcb
432 // from here: kcb_current is the kcb for which the interrupt was intended
490 // XXX: this is O(#kcb*NDISPATCH)
493 struct kcb *k = kcb_current;
524 struct kcb *k = kcb_current;
612 errval_t irq_table_notify_domains(struct kcb *kcb)
616 if (kcb->irq_dispatch[i].cap.type == ObjType_EndPoint) {
617 struct capability *cap = &kcb->irq_dispatch[i].cap;
631 kcb->irq_dispatch[i].cap.type = ObjType_Null;
882 // switch kcb every other timeslice
884 //printk(LOG_NOTE, "switching from kcb(%p) to kcb(%p)\n", kcb_current, kcb_current->next);
943 struct kcb *k = kcb_current;