irq_user_max (reference) in projects: seL4-master

Searched refs:irq_user_max (Results 1 – 4 of 4) sorted by relevance

/seL4-master/src/arch/x86/object/
A D	interrupt.c	`103 if (irq > irq_user_max - irq_user_min) { in Arch_decodeIRQControlInvocation() 104 …QControl: Invalid irq %ld should be between 0-%ld", (long)irq, (long)(irq_user_max - irq_user_min)… in Arch_decodeIRQControlInvocation() 107 current_syscall_error.rangeErrorMax = irq_user_max - irq_user_min; in Arch_decodeIRQControlInvocation()`
/seL4-master/include/plat/pc99/plat/
A D	machine.h	`52 irq_user_max = int_irq_user_max - IRQ_INT_OFFSET, enumerator`
/seL4-master/include/plat/pc99/plat/machine/
A D	interrupt.h	`123 } else if (irq >= irq_user_min && irq <= irq_user_max) { in maskInterrupt()`
/seL4-master/src/arch/x86/kernel/
A D	boot.c	`55 } else if (i >= irq_user_min && i <= irq_user_max) { in init_irqs()`

Completed in 4 milliseconds