irq_isa_min (reference) in projects: seL4-master

Searched refs:irq_isa_min (Results 1 – 5 of 5) sorted by relevance

/seL4-master/src/plat/pc99/machine/
A D	pic.c	`44 assert(irq >= irq_isa_min); in pic_mask_irq() 91 if (irq >= irq_isa_min + 8) { in pic_ack_active_irq() 96 if (irq != irq_isa_min + 15 \|\| (pic_get_isr() & BIT(15))) { in pic_ack_active_irq() 102 if (irq != irq_isa_min + 7 \|\| (pic_get_isr() & BIT(7))) { in pic_ack_active_irq()`
/seL4-master/src/arch/x86/object/
A D	interrupt.c	`39 if (config_set(CONFIG_IRQ_PIC) && irq_w >= irq_isa_min && irq_w <= irq_isa_max) { in Arch_checkIRQ() 46 …userError("IRQControl: IRQ %ld should be in range %ld - %ld", irq_w, (long)irq_isa_min, (long)irq_… in Arch_checkIRQ() 48 current_syscall_error.rangeErrorMin = irq_isa_min; in Arch_checkIRQ()`
/seL4-master/include/plat/pc99/plat/
A D	machine.h	`49 irq_isa_min = int_irq_isa_min - IRQ_INT_OFFSET, enumerator`
/seL4-master/include/plat/pc99/plat/machine/
A D	interrupt.h	`116 if (irq >= irq_isa_min && irq <= irq_isa_max) { in maskInterrupt()`
/seL4-master/src/arch/x86/kernel/
A D	boot.c	`49 } else if (i >= irq_isa_min && i <= irq_isa_max) { in init_irqs()`

Completed in 6 milliseconds