diff --git a/include/plat/arm/common/arm_def.h b/include/plat/arm/common/arm_def.h index bf1f93a80..9426ac740 100644 --- a/include/plat/arm/common/arm_def.h +++ b/include/plat/arm/common/arm_def.h @@ -782,6 +782,9 @@ MEASURED_BOOT #define PLAT_SDEI_CRITICAL_PRI 0x60 #define PLAT_SDEI_NORMAL_PRI 0x70 +/* CPU Fault Handling Interrupt(FHI) PPI interrupt ID */ +#define PLAT_CORE_FAULT_IRQ 17 + /* ARM platforms use 3 upper bits of secure interrupt priority */ #define PLAT_PRI_BITS 3 diff --git a/plat/arm/common/arm_gicv3.c b/plat/arm/common/arm_gicv3.c index 1c95afb8c..8c16877ce 100644 --- a/plat/arm/common/arm_gicv3.c +++ b/plat/arm/common/arm_gicv3.c @@ -40,7 +40,11 @@ static const uintptr_t *gicr_frames = gicr_base_addrs; static const interrupt_prop_t arm_interrupt_props[] = { PLAT_ARM_G1S_IRQ_PROPS(INTR_GROUP1S), - PLAT_ARM_G0_IRQ_PROPS(INTR_GROUP0) + PLAT_ARM_G0_IRQ_PROPS(INTR_GROUP0), +#if RAS_FFH_SUPPORT + INTR_PROP_DESC(PLAT_CORE_FAULT_IRQ, PLAT_RAS_PRI, INTR_GROUP0, + GIC_INTR_CFG_LEVEL) +#endif }; /*