Searched refs:INTERRUPT_BASIC_IRQ_ILLEGAL_ACCESS_TYPE0 (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/kernel/include/drivers/irq/
H A Dbcm2836-armctrl-ic.h39 INTERRUPT_BASIC_IRQ_ILLEGAL_ACCESS_TYPE0 = (BASIC_IRQ_OFFSET + 7), enumerator in enum:__anon13

Completed in 74 milliseconds