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 9b075f683127fc227ba456c422b550258c0735d4..5ab684e01e0b10432237f8626218c802d0fdf0fa 100644 (file)
--- a/kernel/fiasco/src/drivers/amd64/reset-amd64.cpp
+++ b/kernel/fiasco/src/drivers/amd64/reset-amd64.cpp
@@ -1,17 +1,3 @@
-IMPLEMENTATION[amd64 && vmx]:
-
-static void
-virt_off()
-{
-  asm volatile("vmxoff");
-}
-
-IMPLEMENTATION[amd64 && !vmx]:
-
-static void
-virt_off()
-{}
-
 IMPLEMENTATION[amd64]:
 
 #include "io.h"
@@ -21,8 +7,6 @@ IMPLEMENTATION[amd64]:
 void __attribute__ ((noreturn))
 pc_reset()
 {
-  virt_off();
-
   // i8042: store the next byte at port 0x60 as command byte
   while (Io::in8 (0x64) & 0x2)
     ;