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

/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dioport.c60 int high_word = last_port >> wordRadix; local
65 if (low_word == high_word) {
77 while (low_word < high_word) {
319 int high_word = high >> wordRadix; local
325 if (low_word == high_word) {
332 while (low_word < high_word) {

Completed in 36 milliseconds