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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/i8259/
H A Di8259.c58 unsigned char priority_add; /* Highest irq priority */ member in struct:i8259_state
115 while (!(mask & (1 << ((priority + s->priority_add) & 7)))) {
162 return (priority + s->priority_add) & 7;
257 s->priority_add = 0;
332 irq = (priority + s->priority_add) & 7;
334 s->priority_add = (irq + 1) & 7;
348 s->priority_add = (val + 1) & 7;
354 s->priority_add = (irq + 1) & 7;
560 s->priority_add = (irq + 1) & 7;

Completed in 59 milliseconds