update

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

diff --git a/kernel/fiasco/src/kern/arm/bsp/kirkwood/reset-arm-kirkwood.cpp b/kernel/fiasco/src/kern/arm/bsp/kirkwood/reset-arm-kirkwood.cpp
index b52ad1423e4f8724d14105a7e0660ef02a4ed96c..884b62fbfab92fb9bf634c62d75b5bcabc559ca5 100644 (file)
--- a/kernel/fiasco/src/kern/arm/bsp/kirkwood/reset-arm-kirkwood.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/kirkwood/reset-arm-kirkwood.cpp
@@ -17,7 +17,7 @@ public:
 IMPLEMENTATION [arm && kirkwood]:
 
 void __attribute__ ((noreturn))
-pc_reset(void)
+platform_reset(void)
 {
   // enable software reset
   Io::write(1 << 2, Kirkwood_reset::Mask_reg);