mirrors/Bochs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

allow access to VMCS_64BIT_CONTROL_TERTIARY_VMEXEC_CONTROLS VMCS field

Browse Source
This commit is contained in:
Stanislav Shwartsman 2023-11-25 18:02:11 +02:00
parent 14fc5635de
commit f0bbf25b5d
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
bochs/cpu/vmcs.cc
View File

@ -386,6 +386,10 @@ bool BX_CPU_C::vmcs_field_supported(Bit32u encoding)
return BX_SUPPORT_VMX_EXTENSION(BX_VMX_TSC_SCALING);
#if BX_SUPPORT_VMX >= 2
case VMCS_64BIT_CONTROL_TERTIARY_VMEXEC_CONTROLS:
case VMCS_64BIT_CONTROL_TERTIARY_VMEXEC_CONTROLS_HI:
return BX_CPU_THIS_PTR vmx_cap.vmx_vmexec_ctrl3_supported_bits;
/* VMCS 64-bit read only data fields */
/* binary 0010_01xx_xxxx_xxx0 */
case VMCS_64BIT_GUEST_PHYSICAL_ADDR: