update

[l4.git] / kernel / fiasco / src / kern / arm / bsp / imx / reset-arm-imx.cpp

diff --git a/kernel/fiasco/src/kern/arm/bsp/imx/reset-arm-imx.cpp b/kernel/fiasco/src/kern/arm/bsp/imx/reset-arm-imx.cpp
index 89dd4c571d28226c328497337d3ef50ef196c0cb..7e7776f2197ede1485cd6ddaaf675623c9e8616f 100644 (file)
--- a/kernel/fiasco/src/kern/arm/bsp/imx/reset-arm-imx.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/imx/reset-arm-imx.cpp
@@ -4,7 +4,7 @@ IMPLEMENTATION [arm && imx21]:
 #include "kmem.h"
 
 void __attribute__ ((noreturn))
-pc_reset(void)
+platform_reset(void)
 {
   enum {
     WCR  = Kmem::Watchdog_map_base + 0,
@@ -31,7 +31,7 @@ IMPLEMENTATION [arm && (imx35 || imx51)]:
 #include "kmem.h"
 
 void __attribute__ ((noreturn))
-pc_reset(void)
+platform_reset(void)
 {
   enum {
     WCR  = Kmem::Watchdog_map_base + 0,