update

[l4.git] / kernel / fiasco / src / drivers / ppc32 / reset-ppc32.cpp

diff --git a/kernel/fiasco/src/drivers/ppc32/reset-ppc32.cpp b/kernel/fiasco/src/drivers/ppc32/reset-ppc32.cpp
index ca4770598175ef5ec7d28b66b5c76ebc166e1654..443963e122eb0b1de1305d3420163152bb23577e 100644 (file)
--- a/kernel/fiasco/src/drivers/ppc32/reset-ppc32.cpp
+++ b/kernel/fiasco/src/drivers/ppc32/reset-ppc32.cpp
@@ -13,7 +13,7 @@ enum Reg_offsets
  * Porgram Gerneral purpose timer as watchdog, thus causing a system reset
  */
 void __attribute__ ((noreturn))
-pc_reset(void)
+platform_reset(void)
 {
 
   Address mbar = Boot_info::mbar();
@@ -31,7 +31,7 @@ pc_reset(void)
 IMPLEMENTATION [ppc32 && !mpc52xx]:
 
 void __attribute__ ((noreturn))
-pc_reset(void)
+platform_reset(void)
 {
   for(;;);
 }