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