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

/seL4-camkes-master/kernel/include/arch/x86/arch/object/
H A Diospace.h31 vtd_pte_t *ioptSlot; member in struct:lookupIOPTSlot_ret
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Diospace.c160 static exception_t performX86IOPTInvocationMapPT(cap_t cap, cte_t *ctSlot, vtd_pte_t iopte, vtd_pte_t *ioptSlot) argument
287 static exception_t performX86IOInvocationMap(cap_t cap, cte_t *ctSlot, vtd_pte_t iopte, vtd_pte_t *ioptSlot) argument
[all...]
/seL4-camkes-master/kernel/src/arch/arm/object/
H A Diospace.c29 iopte_t *ioptSlot; member in struct:lookupIOPTSlot_ret
226 static exception_t performARMIOMapInvocation(cap_t cap, cte_t *slot, iopte_t *ioptSlot, argument
[all...]

Completed in 39 milliseconds