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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/i8259/
H A Di8259.c107 static inline int get_priority(struct i8259_state *s, int mask) function
147 priority = get_priority(s, mask);
159 cur_priority = get_priority(s, mask);
330 priority = get_priority(s, s->isr);

Completed in 27 milliseconds