Searched refs:decodeUntypedInvocation (Results 1 - 3 of 3) sorted by relevance
/seL4-test-master/kernel/include/object/ |
H A D | untyped.h | 30 exception_t decodeUntypedInvocation(word_t invLabel, word_t length,
|
/seL4-test-master/kernel/src/object/ |
H A D | untyped.c | 26 exception_t decodeUntypedInvocation(word_t invLabel, word_t length, cte_t *slot, function
|
H A D | objecttype.c | 742 return decodeUntypedInvocation(invLabel, length, slot, cap, excaps,
|
Completed in 30 milliseconds