RDMSR, WRMSR, and WBINVD now correctly GPF when CPL > 0, fixes #4887.

2024-10-15 23:54:57 +02:00
parent 9fb32aaa09
commit 0a3f1e3279
2 changed files with 10 additions and 2 deletions
--- a/src/cpu/x86_ops_misc.h
+++ b/src/cpu/x86_ops_misc.h
@@ -878,6 +878,10 @@ opINVD(uint32_t fetchdat)
 static int
 opWBINVD(uint32_t fetchdat)
 {
+    if (CPL) {
+        x86gpf(NULL, 0);
+        return 1;
+    }
    CLOCK_CYCLES(10000);
    CPU_BLOCK_END();
    return 0;