Searched defs:ioptSlot (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/object/
H A Diospace.h36 vtd_pte_t* ioptSlot; member in struct:lookupIOPTSlot_ret
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Diospace.c33 iopte_t *ioptSlot; member in struct:lookupIOPTSlot_ret
238 performARMIOMapInvocation(cap_t cap, cte_t *slot, iopte_t *ioptSlot, argument
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Diospace.c170 performX86IOPTInvocationMapPT(cap_t cap, cte_t *ctSlot, vtd_pte_t iopte, vtd_pte_t *ioptSlot) argument
299 performX86IOInvocationMap(cap_t cap, cte_t *ctSlot, vtd_pte_t iopte, vtd_pte_t *ioptSlot) argument
[all...]

Completed in 45 milliseconds