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

/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Diospace.c29 } lookupIOPDSlot_ret_t; typedef in typeref:struct:lookupIOPDSlot_ret
55 static lookupIOPDSlot_ret_t
58 lookupIOPDSlot_ret_t ret;
72 lookupIOPDSlot_ret_t pd_ret = lookupIOPDSlot(iopd, io_address);
168 lookupIOPDSlot_ret_t lu_ret;
393 lookupIOPDSlot_ret_t lu_ret;

Completed in 78 milliseconds