Home
last modified time | relevance | path

Searched refs:GIC_PPI (Results 1 – 6 of 6) sorted by relevance

/optee_os/core/arch/arm/dts/
H A Dstm32mp153.dtsi26 interrupts = <GIC_PPI 13 (GIC_CPU_MASK_SIMPLE(2) | IRQ_TYPE_LEVEL_LOW)>,
27 <GIC_PPI 14 (GIC_CPU_MASK_SIMPLE(2) | IRQ_TYPE_LEVEL_LOW)>,
28 <GIC_PPI 11 (GIC_CPU_MASK_SIMPLE(2) | IRQ_TYPE_LEVEL_LOW)>,
29 <GIC_PPI 10 (GIC_CPU_MASK_SIMPLE(2) | IRQ_TYPE_LEVEL_LOW)>;
H A Dfsl-lx2160a.dtsi386 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>;
H A Dstm32mp151.dtsi49 interrupts = <GIC_PPI 13 (GIC_CPU_MASK_SIMPLE(1) | IRQ_TYPE_LEVEL_LOW)>,
50 <GIC_PPI 14 (GIC_CPU_MASK_SIMPLE(1) | IRQ_TYPE_LEVEL_LOW)>,
51 <GIC_PPI 11 (GIC_CPU_MASK_SIMPLE(1) | IRQ_TYPE_LEVEL_LOW)>,
52 <GIC_PPI 10 (GIC_CPU_MASK_SIMPLE(1) | IRQ_TYPE_LEVEL_LOW)>;
/optee_os/core/include/dt-bindings/interrupt-controller/
H A Darm-gic.h14 #define GIC_PPI 1 macro
/optee_os/core/drivers/
H A Dgic.c436 uint32_t interrupt_type = GIC_PPI; in gic_dt_get_irq()
446 if (interrupt_type == GIC_PPI && in gic_dt_get_irq()
461 case GIC_PPI: in gic_dt_get_irq()
/optee_os/core/arch/arm/kernel/
H A Dboot.c695 itr_type = GIC_PPI; in add_optee_dt_node()