update

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

diff --git a/kernel/fiasco/src/kern/arm/bsp/integrator/reset-arm-integrator.cpp b/kernel/fiasco/src/kern/arm/bsp/integrator/reset-arm-integrator.cpp
index 5b43e5fc6effc95d4ae13d4522311ecdbeae96f1..8c99e7f70f6dacabc42e2e61f800852104d35225 100644 (file)
--- a/kernel/fiasco/src/kern/arm/bsp/integrator/reset-arm-integrator.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/integrator/reset-arm-integrator.cpp
@@ -4,7 +4,7 @@ IMPLEMENTATION [arm && integrator]:
 #include "kmem.h"
 
 void __attribute__ ((noreturn))
-pc_reset(void)
+platform_reset(void)
 {
   enum {
     HDR_CTRL_OFFSET = Kmem::Integrator_map_base + 0xc,