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

/seL4-camkes-master/kernel/src/arch/x86/object/
H A Diospace.c107 static inline lookupIOPTSlot_ret_t lookupIOPTSlot(vtd_pte_t *iopt, word_t io_address) function
256 lu_ret = lookupIOPTSlot(vtd_pte, io_address);
366 lu_ret = lookupIOPTSlot(vtd_pte, io_address);
472 lu_ret = lookupIOPTSlot(vtd_pte, io_address);
/seL4-camkes-master/kernel/src/arch/arm/object/
H A Diospace.c58 static lookupIOPTSlot_ret_t lookupIOPTSlot(iopde_t *iopd, word_t io_address) function
300 lu_ret = lookupIOPTSlot(pd, io_address);
424 lu_ret = lookupIOPTSlot(pd, io_address);

Completed in 31 milliseconds