Searched refs:decodeARMIOMapInvocation (Results 1 – 3 of 3) sorted by relevance
| /seL4-master/include/arch/arm/arch/object/ |
| A D | iospace.h | 17 exception_t decodeARMIOMapInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, word…
38 static inline exception_t decodeARMIOMapInvocation(word_t invLabel, uint32_t length, cte_t *slot, c… in decodeARMIOMapInvocation() function
|
| /seL4-master/src/arch/arm/object/ |
| A D | iospace.c | 242 exception_t decodeARMIOMapInvocation( in decodeARMIOMapInvocation() function
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 2393 return decodeARMIOMapInvocation(invLabel, length, cte, cap, buffer);
|
Completed in 122 milliseconds