Searched defs:irq_w (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/object/
H A Dinterrupt.h24 Arch_checkIRQ(word_t irq_w) argument
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Dinterrupt.c42 word_t irq_w = getSyscallArg(0, buffer); local
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Dinterrupt.c43 Arch_checkIRQ(word_t irq_w) argument
/seL4-l4v-10.1.1/seL4/src/object/
H A Dinterrupt.c34 word_t index, depth, irq_w; local

Completed in 84 milliseconds