update

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

diff --git a/kernel/fiasco/src/kern/arm/bsp/tegra2/reset-arm-tegra2.cpp b/kernel/fiasco/src/kern/arm/bsp/tegra2/reset-arm-tegra2.cpp
index 0c9666add592ab7d706a23645b2bca0919329b38..e7e042a123c5406699e169cb7706e0bad73bb1e5 100644 (file)
--- a/kernel/fiasco/src/kern/arm/bsp/tegra2/reset-arm-tegra2.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/tegra2/reset-arm-tegra2.cpp
@@ -16,7 +16,7 @@ public:
 IMPLEMENTATION [arm && tegra2]:
 
 void __attribute__ ((noreturn))
-pc_reset(void)
+platform_reset(void)
 {
   Io::write(Io::read<Mword>(Tegra2_reset::RESET) | 4, Tegra2_reset::RESET);
   for (;;)