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;
530 struct kcb *k = kcb_current;
618 errval_t irq_table_notify_domains(struct kcb *kcb)
622 if (kcb->irq_dispatch[i].cap.type == ObjType_EndPointLMP) {
623 struct capability *cap = &kcb->irq_dispatch[i].cap;
637 kcb->irq_dispatch[i].cap.type = ObjType_Null;
893 // switch kcb every other timeslice
895 //printk(LOG_NOTE, "switching from kcb(%p) to kcb(%p)\n", kcb_current, kcb_current->next);
954 struct kcb *k = kcb_current;