diff --git a/proto/hypervisor.c b/proto/hypervisor.c
index 3984043ca7b6ce13eda48405de6b01042ce6468a..1070b1f9c7ec10c5c3858c76c8d01eef6249b925 100644
--- a/proto/hypervisor.c
+++ b/proto/hypervisor.c
@@ -70,6 +70,12 @@ static unsigned char vmxon(unsigned long long pa) {
                      : [pa] "m"(pa)
                      : "cc", "memory");
 
+    /*asm goto("1: vmxon %[vmxon_pointer]\n\t" _ASM_EXTABLE(1b, % l[fault])*/
+    /*         :*/
+    /*         : [vmxon_pointer] "m"(vmxon_pointer)*/
+    /*         :*/
+    /*         : fault);*/
+
     unsigned long long rflags;
 
     __asm__ volatile("pushfq; popq %0" : "=r"(rflags));