Searched refs:Arch_decodeInvocation (Results 1 – 8 of 8) sorted by relevance
| /seL4-master/include/arch/arm/arch/object/ |
| A D | objecttype.h | 23 exception_t Arch_decodeInvocation(word_t invLabel, word_t length,
|
| /seL4-master/include/arch/riscv/arch/object/ |
| A D | objecttype.h | 22 exception_t Arch_decodeInvocation(word_t label, word_t length,
|
| /seL4-master/include/arch/x86/arch/object/ |
| A D | objecttype.h | 23 exception_t Arch_decodeInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t c…
|
| /seL4-master/src/arch/riscv/object/ |
| A D | objecttype.c | 291 exception_t Arch_decodeInvocation( in Arch_decodeInvocation() function
|
| /seL4-master/src/arch/arm/32/object/ |
| A D | objecttype.c | 536 exception_t Arch_decodeInvocation(word_t invLabel, word_t length, cptr_t cptr, function
|
| /seL4-master/src/arch/arm/64/object/ |
| A D | objecttype.c | 474 exception_t Arch_decodeInvocation(word_t label, word_t length, cptr_t cptr, function
|
| /seL4-master/src/arch/x86/object/ |
| A D | objecttype.c | 504 exception_t Arch_decodeInvocation( in Arch_decodeInvocation() function
|
| /seL4-master/src/object/ |
| A D | objecttype.c | 631 return Arch_decodeInvocation(invLabel, length, capIndex, in decodeInvocation()
|
Completed in 27 milliseconds