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

/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Diospace.c41 isIOPDEValid(iopde_t *iopde) function
79 if (!isIOPDEValid(pd_ret.iopdSlot) ||
217 if (isIOPDEValid(lu_ret.iopdSlot)) {
407 if (isIOPDEValid(lu_ret.iopdSlot) &&

Completed in 56 milliseconds