@@ -67,13 +67,13 @@
timer {
compatible = "arm,armv7-timer";
interrupts = <GIC_PPI 13
- (GIC_CPU_MASK_RAW(0xf) | IRQ_TYPE_LEVEL_LOW)>,
+ (GIC_CPU_MASK_SIMPLE(2) | IRQ_TYPE_LEVEL_LOW)>,
<GIC_PPI 14
- (GIC_CPU_MASK_RAW(0xf) | IRQ_TYPE_LEVEL_LOW)>,
+ (GIC_CPU_MASK_SIMPLE(2) | IRQ_TYPE_LEVEL_LOW)>,
<GIC_PPI 11
- (GIC_CPU_MASK_RAW(0xf) | IRQ_TYPE_LEVEL_LOW)>,
+ (GIC_CPU_MASK_SIMPLE(2) | IRQ_TYPE_LEVEL_LOW)>,
<GIC_PPI 10
- (GIC_CPU_MASK_RAW(0xf) | IRQ_TYPE_LEVEL_LOW)>;
+ (GIC_CPU_MASK_SIMPLE(2) | IRQ_TYPE_LEVEL_LOW)>;
clock-frequency = <27000000>;
};
Convert from GIC_CPU_MASK_RAW() to GIC_CPU_MASK_SIMPLE(). Fix the arch timer interrupts' CPU masks. Signed-off-by: Andreas Färber <afaerber@suse.de> --- This could be squashed into the original RTD1195 patch. arch/arm/boot/dts/rtd1195.dtsi | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-)