Given that any bit in the original root mask can be freed, the freed
mask should reflect the same type as the original mask.

Signed-off-by: Bram Hooimeijer <bram.hooimei...@prodrive-technologies.com>
---
 hypervisor/arch/x86/cat.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/hypervisor/arch/x86/cat.c b/hypervisor/arch/x86/cat.c
index 644bb3e5..f6719b1e 100644
--- a/hypervisor/arch/x86/cat.c
+++ b/hypervisor/arch/x86/cat.c
@@ -20,9 +20,9 @@
 
 #define CAT_ROOT_COS   0
 
-static unsigned int cbm_max, freed_mask;
+static unsigned int cbm_max;
 static int cos_max = -1;
-static u64 orig_root_mask;
+static u64 orig_root_mask, freed_mask;
 
 void cat_update(void)
 {
-- 
2.28.0

-- 
You received this message because you are subscribed to the Google Groups 
"Jailhouse" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to jailhouse-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jailhouse-dev/PA4PR02MB6670966F938FA1D18E7F76EDB6B59%40PA4PR02MB6670.eurprd02.prod.outlook.com.

Reply via email to