Searched refs:decodeARMIOPTInvocation (Results 1 – 3 of 3) sorted by relevance
| /seL4-master/include/arch/arm/arch/object/ |
| A D | iospace.h | 16 exception_t decodeARMIOPTInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, word_…
32 static inline exception_t decodeARMIOPTInvocation(word_t invLabel, uint32_t length, cte_t *slot, ca… in decodeARMIOPTInvocation() function
|
| /seL4-master/src/arch/arm/32/object/ |
| A D | objecttype.c | 549 return decodeARMIOPTInvocation(invLabel, length, slot, cap, buffer);
|
| /seL4-master/src/arch/arm/object/ |
| A D | iospace.c | 141 exception_t decodeARMIOPTInvocation( in decodeARMIOPTInvocation() function
|
Completed in 10 milliseconds