update

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

diff --git a/kernel/fiasco/src/drivers/amd64/reset-amd64.cpp b/kernel/fiasco/src/drivers/amd64/reset-amd64.cpp
index 5ab684e01e0b10432237f8626218c802d0fdf0fa..d59af2c5eb93cb85f582a8a2d8f13faa31645cf4 100644 (file)
--- a/kernel/fiasco/src/drivers/amd64/reset-amd64.cpp
+++ b/kernel/fiasco/src/drivers/amd64/reset-amd64.cpp
@@ -5,7 +5,7 @@ IMPLEMENTATION[amd64]:
 
 // reset PC
 void __attribute__ ((noreturn))
-pc_reset()
+platform_reset()
 {
   // i8042: store the next byte at port 0x60 as command byte
   while (Io::in8 (0x64) & 0x2)