irq_user_min (reference) in projects: seL4-master

Searched refs:irq_user_min (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 …Control: 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() 110 irq += irq_user_min; in Arch_decodeIRQControlInvocation()`
/seL4-master/include/plat/pc99/plat/
A D	machine.h	`51 irq_user_min = int_irq_user_min - 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