Searched refs:int_irq_user_min (Results 1 – 1 of 1) sorted by relevance
| /seL4-master/include/plat/pc99/plat/ | ||
| A D | machine.h | 29 int_irq_user_min = IRQ_INT_OFFSET + PIC_IRQ_LINES, /* First user available vector */ enumerator |
Completed in 2 milliseconds