Searched defs:iopde (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) argument
167 iopde_t iopde; local
132 performARMIOPTInvocationMap(cap_t cap, cte_t *slot, iopde_t *iopdSlot, iopde_t iopde) argument

Completed in 29 milliseconds