diff --git a/arch/arm/src/armv7-a/arm_cache.c b/arch/arm/src/armv7-a/arm_cache.c index 1a078664c5..b264be4d65 100644 --- a/arch/arm/src/armv7-a/arm_cache.c +++ b/arch/arm/src/armv7-a/arm_cache.c @@ -42,7 +42,7 @@ #include #include "cp15_cacheops.h" -#include "barriersh" +#include "barriers.h" #include "l2cc.h" /****************************************************************************