From 8fd27449c196ce99db468f29eff23cb87c7cae59 Mon Sep 17 00:00:00 2001
From: "iliya.saroukha" <iliya.saroukhanian@etu.hesge.ch>
Date: Mon, 9 Dec 2024 23:54:55 +0100
Subject: [PATCH] fix: addr alignment mask
---
proto/region/vmxon_reg.c | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/proto/region/vmxon_reg.c b/proto/region/vmxon_reg.c
index fa7fc24..6d52555 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;
}
--
GitLab