debug: trying to a find the reason why vmxon raises the carry flag

proto/region/vmxon_reg.c

@@ -29,7 +29,7 @@ static int alloc_vmxon_internals(struct vmxon_region_t *reg) {
 
     reg->size = REGION_SIZE;
     reg->va = region;
-    reg->pa = (void *)__pa(region);
+    reg->pa = __pa(region);
 
     return 0;
 }
@@ -41,12 +41,13 @@ static int write_vmcs_rev_id_to_vmxon(struct vmxon_region_t *reg) {
     }
 
     DEBUG_FMT(
-        "Reading IA32_VMX_BASIC MSR for VMCS revision identifier = %llu\n",
+        "Reading IA32_VMX_BASIC MSR for VMCS revision identifier = 0x%llx\n",
         VMCS_REVISION_ID);
 
     DEBUG_FMT("Writing VMCS Revision ID to VMXON region\n");
 
-    (*(uint32_t *)reg->va) = VMCS_REVISION_ID;
+    (*(unsigned long *)reg->va) = VMCS_REVISION_ID;
+    (*(unsigned long *)reg->va) &= ~(1UL << 31);
 
     return 0;
 }
@@ -57,6 +58,7 @@ int init_vmxon_reg(struct vmxon_region_t *reg) {
     }
 
     if (write_vmcs_rev_id_to_vmxon(reg) != 0) {
+        kfree(reg->va);
         return -1;
     }
 

proto/region/vxmon_reg.h

@@ -3,7 +3,7 @@
 struct vmxon_region_t {
     unsigned long size;
     void *va;
-    void *pa;
+    unsigned long long pa;
 };
 
 int init_vmxon_reg(struct vmxon_region_t *reg);