update

[l4.git] / kernel / fiasco / src / kern / reset-dummy.cpp

diff --git a/kernel/fiasco/src/kern/reset-dummy.cpp b/kernel/fiasco/src/kern/reset-dummy.cpp
index 8a8c3e7d452704649d38ea2ebd3ae80e76c7859a..7ccbb8a401824a341deb38f61f14524d1a4c321a 100644 (file)
--- a/kernel/fiasco/src/kern/reset-dummy.cpp
+++ b/kernel/fiasco/src/kern/reset-dummy.cpp
@@ -2,7 +2,7 @@ IMPLEMENTATION:
 
 // reset PC
 void __attribute__ ((noreturn))
-pc_reset()
+platform_reset()
 {
   while(1)
     ;