* From section "Guest Register State" in the Intel SDM: CPL = SS.DPL */
| 1910 | * From section "Guest Register State" in the Intel SDM: CPL = SS.DPL |
| 1911 | */ |
| 1912 | static int |
| 1913 | vmx_cpl(void) |
| 1914 | { |
| 1915 | uint32_t ssar; |
| 1916 | |
| 1917 | ssar = vmcs_read(VMCS_GUEST_SS_ACCESS_RIGHTS); |
| 1918 | return ((ssar >> 5) & 0x3); |
| 1919 | } |
| 1920 | |
| 1921 | static enum vm_cpu_mode |
| 1922 | vmx_cpu_mode(void) |
no test coverage detected