Searched refs:isrcopy (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dintr.c74 static void process_handlers(isr_type_t type, unsigned int isrcopy, unsigned lowest) { argument
75 for (int i = lowest; isrcopy; i++) {
78 bmk_assert(i < sizeof(isrcopy) * 8);
79 if ((isrcopy & (BIT(i))) == 0) {
82 isrcopy &= ~(BIT(i));
116 unsigned int isrcopy; local
120 isrcopy = isr_todo;
124 process_handlers(HARDWARE_INT, isrcopy, isr_lowest);
129 isrcopy = isr_todo_soft;
133 process_handlers(SOFTWARE_EVENT, isrcopy, isr_soft_lowes
[all...]
/seL4-camkes-master/tools/rumprun/platform/hw/
H A Dintr.c82 unsigned int isrcopy; local
85 isrcopy = isr_todo;
89 totwork |= isrcopy;
92 for (i = isr_lowest; isrcopy; i++) {
95 bmk_assert(i < sizeof(isrcopy)*8);
96 if ((isrcopy & (1<<i)) == 0)
98 isrcopy &= ~(1<<i);

Completed in 80 milliseconds