wip: added vmxon inline assembly from the kernel's sources

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));