Searched defs:NORMAL_IRQ_OFFSET (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/kernel/include/drivers/irq/
H A Dbcm2836-armctrl-ic.h14 #define NORMAL_IRQ_OFFSET (BASIC_IRQ_OFFSET + 32) macro
[all...]

Completed in 30 milliseconds