Home
last modified time | relevance | path

Searched refs:Arch_decodeIRQControlInvocation (Results 1 – 7 of 7) sorted by relevance

/seL4-master/include/arch/x86/arch/object/
A Dinterrupt.h14 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
/seL4-master/include/arch/riscv/arch/object/
A Dinterrupt.h20 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
/seL4-master/include/arch/arm/arch/object/
A Dinterrupt.h15 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length,
/seL4-master/src/arch/riscv/object/
A Dinterrupt.c33 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, in Arch_decodeIRQControlInvocation() function
/seL4-master/src/arch/arm/object/
A Dinterrupt.c21 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, in Arch_decodeIRQControlInvocation() function
/seL4-master/src/arch/x86/object/
A Dinterrupt.c69 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, word_t … in Arch_decodeIRQControlInvocation() function
/seL4-master/src/object/
A Dinterrupt.c74 return Arch_decodeIRQControlInvocation(invLabel, length, srcSlot, buffer); in decodeIRQControlInvocation()

Completed in 14 milliseconds