Searched defs:Arch_decodeIRQControlInvocation (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/kernel/src/arch/arm/object/
H A Dinterrupt.c21 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, function
/seL4-test-master/kernel/src/arch/riscv/object/
H A Dinterrupt.c33 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, function
/seL4-test-master/kernel/src/arch/x86/object/
H A Dinterrupt.c69 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, function

Completed in 32 milliseconds