Searched refs:Arch_decodeIRQControlInvocation (Results 1 - 7 of 7) sorted by relevance
| /seL4-l4v-master/seL4/include/arch/riscv/arch/object/ |
| H A D | interrupt.h | 20 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
|
| /seL4-l4v-master/seL4/include/arch/x86/arch/object/ |
| H A D | interrupt.h | 14 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
|
| /seL4-l4v-master/seL4/include/arch/arm/arch/object/ |
| H A D | interrupt.h | 15 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
|
| /seL4-l4v-master/seL4/src/arch/riscv/object/ |
| H A D | interrupt.c | 33 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, function
|
| /seL4-l4v-master/seL4/src/arch/arm/object/ |
| H A D | interrupt.c | 21 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, function
|
| /seL4-l4v-master/seL4/src/arch/x86/object/ |
| H A D | interrupt.c | 69 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, function
|
| /seL4-l4v-master/seL4/src/object/ |
| H A D | interrupt.c | 75 return Arch_decodeIRQControlInvocation(invLabel, length, srcSlot, excaps, buffer);
|
Completed in 32 milliseconds