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

/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dstate.h73 chash_t irqHandlerList; member in struct:procserv_state
H A Dstate.c200 chash_init(&s->irqHandlerList, PROCSERV_IRQ_HANDLER_HASHTABLE_SIZE);
348 seL4_CPtr existingHandler = (seL4_CPtr) chash_get(&procServ.irqHandlerList, irq);
370 chash_set(&procServ.irqHandlerList, irq, (chash_item_t) handler.capPtr);
/seL4-refos-master/apps/process_server/src/
H A Dstate.h73 chash_t irqHandlerList; member in struct:procserv_state
H A Dstate.c200 chash_init(&s->irqHandlerList, PROCSERV_IRQ_HANDLER_HASHTABLE_SIZE);
348 seL4_CPtr existingHandler = (seL4_CPtr) chash_get(&procServ.irqHandlerList, irq);
370 chash_set(&procServ.irqHandlerList, irq, (chash_item_t) handler.capPtr);

Completed in 28 milliseconds