diff --git a/proto/region/vmxon_reg.c b/proto/region/vmxon_reg.c
index fa7fc247d01ce16242e2bffb9a7ffd4e8d2d55bb..6d5255581964713051f5b162261ebc57e69dae9b 100644
--- a/proto/region/vmxon_reg.c
+++ b/proto/region/vmxon_reg.c
@@ -5,7 +5,7 @@
 #include <linux/printk.h>
 #include <linux/slab.h>
 
-static int alloc_vmxon_internals(struct vmxon_reg_t *reg) {
+static int alloc_vmxon_internals(struct vmxon_region_t *reg) {
     if (!reg) {
         DEBUG_FMT("vmxon_reg_t isn't allocated\n");
         return -1;
@@ -18,8 +18,8 @@ static int alloc_vmxon_internals(struct vmxon_reg_t *reg) {
         return -1;
     }
 
-    if (((unsigned long long)region & 0x1fff) != 0) {
-        DEBUG_FMT("Region isn't properly aligned\n");
+    if (((unsigned long long)region & 0xfff) != 0) {
+        DEBUG_FMT("Region 0x%px isn't properly aligned\n", region);
         return -1;
     }
 
@@ -34,7 +34,7 @@ static int alloc_vmxon_internals(struct vmxon_reg_t *reg) {
     return 0;
 }
 
-static int write_vmcs_rev_id_to_vmxon(struct vmxon_reg_t *reg) {
+static int write_vmcs_rev_id_to_vmxon(struct vmxon_region_t *reg) {
     if (!reg) {
         DEBUG_FMT("vmxon_reg_t isn't allocated\n");
         return -1;
@@ -51,7 +51,7 @@ static int write_vmcs_rev_id_to_vmxon(struct vmxon_reg_t *reg) {
     return 0;
 }
 
-int init_vmxon_reg(struct vmxon_reg_t *reg) {
+int init_vmxon_reg(struct vmxon_region_t *reg) {
     if (alloc_vmxon_internals(reg) != 0) {
         return -1;
     }