Searched refs:IOPTE_EMPTY_MASK (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/ | ||
H A D | iospace.c | 38 #define IOPTE_EMPTY_MASK 0xe0000000 macro 51 return (iopte->words[0] & IOPTE_EMPTY_MASK) == 0; |
Completed in 28 milliseconds