Home
last modified time | relevance | path

Searched defs:maxIRQ (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/arch/riscv/
A Dplatform_gen.h.in37 maxIRQ = KERNEL_TIMER_IRQ, enumerator
/seL4-master/src/arch/arm/
A Dplatform_gen.h.in17 maxIRQ = @CONFIGURE_MAX_IRQ@ enumerator
/seL4-master/include/plat/pc99/plat/
A Dmachine.h61 maxIRQ = int_irq_max - IRQ_INT_OFFSET, enumerator

Completed in 6 milliseconds