update

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

diff --git a/kernel/fiasco/src/kern/arm/bsp/sa1100/reset-arm-sa1100.cpp b/kernel/fiasco/src/kern/arm/bsp/sa1100/reset-arm-sa1100.cpp
index 777f022611873592173ed518266f7229927d0518..d1920e7533ff01d18a9ee98d089019cee0832c70 100644 (file)
--- a/kernel/fiasco/src/kern/arm/bsp/sa1100/reset-arm-sa1100.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/sa1100/reset-arm-sa1100.cpp
@@ -7,7 +7,7 @@ IMPLEMENTATION [arm && sa1100]:
 typedef Sa1100_generic<Kmem::Timer_map_base> Sa1100;
 
 void __attribute__ ((noreturn))
-  pc_reset(void)
+platform_reset(void)
 {
   Io::write( (Mword)Sa1100::RSRR_SWR, (Address)Sa1100::RSRR );
   for (;;)