Update

[l4.git] / kernel / fiasco / src / kern / arm / bsp / exynos / thread-arm-exynos.cpp

diff --git a/kernel/fiasco/src/kern/arm/bsp/exynos/thread-arm-exynos.cpp b/kernel/fiasco/src/kern/arm/bsp/exynos/thread-arm-exynos.cpp
index e9b52bd403586a62e99ceb3a991aff92f21698d3..d8949d25a8851f594715e0fdf28eebe549c6e273 100644 (file)
--- a/kernel/fiasco/src/kern/arm/bsp/exynos/thread-arm-exynos.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/exynos/thread-arm-exynos.cpp
@@ -33,7 +33,7 @@ public:
 
 DEFINE_PER_CPU static Per_cpu<Static_object<Arm_ipis> > _arm_ipis;
 
-IMPLEMENT
+IMPLEMENT_OVERRIDE
 void
 Thread::init_per_cpu(Cpu_number cpu, bool resume)
 {