Searched refs:irq_w (Results 1 - 8 of 8) sorted by relevance
/seL4-l4v-master/seL4/include/arch/arm/arch/object/ |
H A D | interrupt.h | 55 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 D | interrupt.h | 23 exception_t Arch_checkIRQ(word_t irq_w);
|
/seL4-l4v-master/seL4/include/arch/x86/arch/object/ |
H A D | interrupt.h | 18 exception_t Arch_checkIRQ(word_t irq_w);
|
/seL4-l4v-master/seL4/src/arch/arm/object/ |
H A D | interrupt.c | 37 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 D | vcpu.c | 500 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 D | interrupt.c | 49 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 D | interrupt.c | 37 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 D | interrupt.c | 28 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 116 milliseconds