Searched refs:Arch_checkIRQ (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-master/seL4/include/arch/riscv/arch/object/
H A Dinterrupt.h23 exception_t Arch_checkIRQ(word_t irq_w);
/seL4-l4v-master/seL4/include/arch/x86/arch/object/
H A Dinterrupt.h18 exception_t Arch_checkIRQ(word_t irq_w);
/seL4-l4v-master/seL4/include/arch/arm/arch/object/
H A Dinterrupt.h55 static inline exception_t Arch_checkIRQ(word_t irq_w) function
/seL4-l4v-master/seL4/src/arch/riscv/object/
H A Dinterrupt.c13 exception_t Arch_checkIRQ(word_t irq) function
57 exception_t status = Arch_checkIRQ(irq_w);
/seL4-l4v-master/seL4/src/arch/arm/object/
H A Dinterrupt.c45 exception_t status = Arch_checkIRQ(irq_w);
88 exception_t status = Arch_checkIRQ(irq_w);
H A Dvcpu.c502 exception_t status = Arch_checkIRQ(irq_w);
/seL4-l4v-master/seL4/src/arch/x86/object/
H A Dinterrupt.c37 exception_t Arch_checkIRQ(word_t irq_w) function
/seL4-l4v-master/seL4/src/object/
H A Dinterrupt.c46 status = Arch_checkIRQ(irq_w);

Completed in 50 milliseconds