VMCALL should have CPL=0

intelxed / xed

The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions

https://intelxed.github.io/

Apache License 2.0

1.38k stars 146 forks source link

VMCALL should have CPL=0 #313

Closed sehftz closed 3 months ago

sehftz commented 6 months ago

Currently in this file the VMCALL instruction has CPL=3, however in Intel's SDM Volume 3 Chapter 31.3 "VMCALL—Call to VM Monitor", it specifies the following operation:

ELSIF CPL > 0
    THEN #GP(0);

marjevan commented 6 months ago

Thanks for your report. A fix will be available with the upcoming external release.

marjevan commented 3 months ago

Solved this in https://github.com/intelxed/xed/commit/6d87b5481aa53b5ab1fc2b5a5622759c46746bf9