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

/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dioport.c62 int high_index = last_port & MASK(wordRadix); local
66 if ((x86KSAllocatedIOPorts[low_word] & make_pattern(low_index, high_index + 1)) != 0) {
84 if ((x86KSAllocatedIOPorts[low_word] & make_pattern(0, high_index + 1)) != 0) {
321 int high_index = high & MASK(wordRadix); local
326 apply_pattern(bitmap + low_word, make_pattern(low_index, high_index + 1), set);
337 apply_pattern(bitmap + low_word, make_pattern(0, high_index + 1), set);

Completed in 35 milliseconds