Searched refs:irq_dispatch (Results 1 - 5 of 5) sorted by relevance

/barrelfish-master/kernel/arch/arm/
H A Dirq.c35 static struct cte irq_dispatch[NDISPATCH]; variable in typeref:struct:cte
62 if (irq_dispatch[nidt].cap.type != ObjType_Null) {
65 err = caps_copy_to_cte(&irq_dispatch[nidt], recv, false, 0, 0);
84 irq_dispatch[nidt].cap.type = ObjType_Null;
127 if (kcb->irq_dispatch[i].cap.type == ObjType_EndPointLMP) {
128 struct capability *cap = &kcb->irq_dispatch[i].cap;
142 kcb->irq_dispatch[i].cap.type = ObjType_Null;
158 struct capability *cap = &irq_dispatch[irq].cap;
/barrelfish-master/kernel/include/
H A Dkcb.h71 struct cte irq_dispatch[NDISPATCH]; member in struct:kcb
/barrelfish-master/kernel/
H A Dkcb.c109 struct capability *cap = &kcb->irq_dispatch[i].cap;
/barrelfish-master/kernel/arch/x86_64/
H A Dirq.c423 if (k->irq_dispatch[irq].cap.type == ObjType_EndPointLMP) {
433 struct capability *cap = &kcb_current->irq_dispatch[irq].cap;
441 // in kcb_current->irq_dispatch[], but it allows us to test the system
496 if (k->irq_dispatch[i].cap.type == ObjType_EndPointLMP) {
595 assert(kcb_current->irq_dispatch[dest_vec].cap.type == ObjType_Null);
596 caps_copy_to_cte(&kcb_current->irq_dispatch[dest_vec],
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;
/barrelfish-master/kernel/arch/x86_32/
H A Dirq.c369 if (k->irq_dispatch[irq].cap.type == ObjType_EndPointLMP) {
379 struct capability *cap = &kcb_current->irq_dispatch[irq].cap;
423 if (kcb_current->irq_dispatch[i].cap.type == ObjType_EndPointLMP) {
540 assert(kcb_current->irq_dispatch[dest_vec].cap.type == ObjType_Null);
541 caps_copy_to_cte(&kcb_current->irq_dispatch[dest_vec],
567 if (kcb->irq_dispatch[i].cap.type == ObjType_EndPointLMP) {
568 struct capability *cap = &kcb->irq_dispatch[i].cap;
582 kcb->irq_dispatch[i].cap.type = ObjType_Null;

Completed in 91 milliseconds