Lines Matching refs:slot
122 static exception_t performARMIOPTInvocationMap(cap_t cap, cte_t *slot, iopde_t *iopdSlot, in performARMIOPTInvocationMap() argument
135 slot->cap = cap; in performARMIOPTInvocationMap()
144 cte_t *slot, in decodeARMIOPTInvocation() argument
159 deleteIOPageTable(slot->cap); in decodeARMIOPTInvocation()
160 slot->cap = cap_io_page_table_cap_set_capIOPTIsMapped(slot->cap, 0); in decodeARMIOPTInvocation()
222 return performARMIOPTInvocationMap(cap, slot, lu_ret.iopdSlot, iopde); in decodeARMIOPTInvocation()
225 static exception_t performARMIOMapInvocation(cap_t cap, cte_t *slot, iopte_t *ioptSlot, in performARMIOMapInvocation() argument
236 slot->cap = cap; in performARMIOMapInvocation()
245 cte_t *slot, in decodeARMIOMapInvocation() argument
368 return performARMIOMapInvocation(cap, slot, lu_ret.ioptSlot, iopte); in decodeARMIOMapInvocation()
459 cte_t *slot in performPageInvocationUnmapIO() argument
462 unmapIOPage(slot->cap); in performPageInvocationUnmapIO()
463 slot->cap = cap_small_frame_cap_set_capFMappedAddress(slot->cap, 0); in performPageInvocationUnmapIO()
464 slot->cap = cap_small_frame_cap_set_capFIsIOSpace(slot->cap, 0); in performPageInvocationUnmapIO()
465 slot->cap = cap_small_frame_cap_set_capFMappedASID(slot->cap, asidInvalid); in performPageInvocationUnmapIO()