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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/i8259/
H A Di8259.c144 int mask, cur_priority, priority; local
159 cur_priority = get_priority(s, mask);
160 if (priority < cur_priority) {

Completed in 23 milliseconds