update

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

diff --git a/kernel/fiasco/src/kern/arm/bsp/pxa/reset-arm-pxa.cpp b/kernel/fiasco/src/kern/arm/bsp/pxa/reset-arm-pxa.cpp
index 7938a273a9f338f030f5968d68bde14c6a56dbe5..bd5dba4ed33b08fe46ed02f47603e69bf3e2a78b 100644 (file)
--- a/kernel/fiasco/src/kern/arm/bsp/pxa/reset-arm-pxa.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/pxa/reset-arm-pxa.cpp
@@ -4,7 +4,7 @@ IMPLEMENTATION [arm && pxa]:
 #include "io.h"
 
 void __attribute__ ((noreturn))
-  pc_reset(void)
+platform_reset(void)
 {
   enum {
     OSCR  = Kmem::Timer_map_base + 0x10,