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

/seL4-l4v-master/seL4/include/arch/arm/arch/object/
H A Dinterrupt.h55 static inline exception_t Arch_checkIRQ(word_t irq_w) argument
57 if (irq_w > maxIRQ) {
61 userError("Rejecting request for IRQ %u. IRQ is greater than maxIRQ.", (int)irq_w);
/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/src/arch/arm/object/
H A Dinterrupt.c37 word_t irq_w = getSyscallArg(0, buffer); local
38 irq_t irq = (irq_t) CORE_IRQ_TO_IRQT(0, irq_w);
45 exception_t status = Arch_checkIRQ(irq_w);
82 word_t irq_w = getSyscallArg(0, buffer); local
88 exception_t status = Arch_checkIRQ(irq_w);
89 irq_t irq = CORE_IRQ_TO_IRQT(target, irq_w);
H A Dvcpu.c500 word_t irq_w = getSyscallArg(0, buffer); local
501 irq_t irq = (irq_t) CORE_IRQ_TO_IRQT(CURRENT_CPU_INDEX(), irq_w);
502 exception_t status = Arch_checkIRQ(irq_w);
/seL4-l4v-master/seL4/src/arch/riscv/object/
H A Dinterrupt.c49 word_t irq_w = getSyscallArg(0, buffer); local
50 irq_t irq = (irq_t) irq_w;
57 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) argument
39 if (config_set(CONFIG_IRQ_PIC) && irq_w >= irq_isa_min && irq_w <= irq_isa_max) {
46 userError("IRQControl: IRQ %ld should be in range %ld - %ld", irq_w, (long)irq_isa_min, (long)irq_isa_max);
/seL4-l4v-master/seL4/src/object/
H A Dinterrupt.c28 word_t index, depth, irq_w; local
39 irq_w = getSyscallArg(0, buffer);
40 irq = CORE_IRQ_TO_IRQT(0, irq_w);
46 status = Arch_checkIRQ(irq_w);

Completed in 58 milliseconds