Searched refs:GIC_PPI (Results 1 – 4 of 4) sorted by relevance
14 #define GIC_PPI 1 macro
19 #define GIC_PPI(x) ((x) + GIC_PPI_BASE) macro
386 interrupts = <GIC_PPI 9 IRQ_TYPE_LEVEL_HIGH>;397 interrupts = <GIC_PPI 13 IRQ_TYPE_LEVEL_HIGH>,398 <GIC_PPI 14 IRQ_TYPE_LEVEL_HIGH>,399 <GIC_PPI 11 IRQ_TYPE_LEVEL_HIGH>,400 <GIC_PPI 10 IRQ_TYPE_LEVEL_HIGH>;405 interrupts = <GIC_PPI 7 IRQ_TYPE_LEVEL_LOW>;
40 interrupts = <GIC_PPI 13 (GIC_CPU_MASK_SIMPLE(4) | IRQ_TYPE_LEVEL_LOW)>,41 <GIC_PPI 14 (GIC_CPU_MASK_SIMPLE(4) | IRQ_TYPE_LEVEL_LOW)>,42 <GIC_PPI 11 (GIC_CPU_MASK_SIMPLE(4) | IRQ_TYPE_LEVEL_LOW)>,43 <GIC_PPI 10 (GIC_CPU_MASK_SIMPLE(4) | IRQ_TYPE_LEVEL_LOW)>;
Completed in 19 milliseconds