Searched refs:performX86IOInvocationMap (Results 1 – 1 of 1) sorted by relevance

/seL4-master/src/arch/x86/object/
A D	iospace.c	286 static exception_t performX86IOInvocationMap(cap_t cap, cte_t *ctSlot, vtd_pte_t iopte, vtd_pte_t *… in performX86IOInvocationMap() function 394 return performX86IOInvocationMap(cap, slot, iopte, lu_ret.ioptSlot); in decodeX86IOMapInvocation()

Completed in 5 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023