From 2bb988b1e21db422878ade4c37209d9a82b679e5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sigrid=20Solveig=20Hafl=C3=ADnud=C3=B3ttir?=
 <ftrvxmtrx@gmail.com>
Date: Sun, 15 May 2022 16:23:13 +0000
Subject: [PATCH] icanhasvmx: our vmx requires unrestricted guest too

---
 sys/src/cmd/aux/icanhasvmx.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/sys/src/cmd/aux/icanhasvmx.c b/sys/src/cmd/aux/icanhasvmx.c
index 0b1592ebc..d4d03ce0f 100644
--- a/sys/src/cmd/aux/icanhasvmx.c
+++ b/sys/src/cmd/aux/icanhasvmx.c
@@ -241,6 +241,10 @@ main(int argc, char **argv)
 				print("no VPID support\n");
 				no++;
 			}
+			if((msr >> 32 & PROCB_UNRESTR) == 0){
+				print("no unrestricted guest support\n");
+				no++;
+			}
 		}
 		if(no == 0)
 			print("VMX is supported\n");