diff --git a/arch/arm/src/armv7-a/arm_gicv2.c b/arch/arm/src/armv7-a/arm_gicv2.c index 949f3f8600..2df7c81cf6 100644 --- a/arch/arm/src/armv7-a/arm_gicv2.c +++ b/arch/arm/src/armv7-a/arm_gicv2.c @@ -331,7 +331,7 @@ void arm_gic_initialize(void) /* Write the final ICCICR value */ - putreg32(GIC_ICCICR_ENABLE, GIC_ICCICR); + putreg32(iccicr, GIC_ICCICR); #ifdef CONFIG_ARCH_TRUSTZONE_BOTH /* A processor in the secure state must then switch to the non-secure