Searched refs:IRQ_TYPE_LEVEL_LOW (Results 1 – 2 of 2) sorted by relevance
135 #define IRQ_TYPE_LEVEL_LOW 0x00000008 macro137 (IRQ_TYPE_LEVEL_LOW | IRQ_TYPE_LEVEL_HIGH)
899 set_interrupt_ppi(intrs[0], irq, 0xf, IRQ_TYPE_LEVEL_LOW); in make_timer_node()903 set_interrupt_ppi(intrs[1], irq, 0xf, IRQ_TYPE_LEVEL_LOW); in make_timer_node()907 set_interrupt_ppi(intrs[2], irq, 0xf, IRQ_TYPE_LEVEL_LOW); in make_timer_node()2075 IRQ_TYPE_LEVEL_LOW); in evtchn_fixup()
Completed in 7 milliseconds