|
|
|
@ -16,9 +16,11 @@ debug print of vmcs control fields after reserved bits are set high and low.
|
|
|
|
|
- IA32_VMX_TRUE_PINBASED_CTLS low bits mask: 0x16
|
|
|
|
|
```
|
|
|
|
|
|
|
|
|
|
(overlapping bits in the mask just mean that the bit can be high or low)
|
|
|
|
|
|
|
|
|
|
```
|
|
|
|
|
IA32_VMX_TRUE_PINBASED_CTLS high bits mask: 0b00111111
|
|
|
|
|
IA32_VMX_TRUE_PINBASED_CTLS low bits mask: 0b00010110
|
|
|
|
|
IA32_VMX_TRUE_PINBASED_CTLS high bits mask: 0b00111111 // these bits can be high
|
|
|
|
|
IA32_VMX_TRUE_PINBASED_CTLS low bits mask: 0b00010110 // these bits can be low
|
|
|
|
|
```
|
|
|
|
|
|
|
|
|
|
#### processor based vm-exit controls
|
|
|
|
@ -51,6 +53,13 @@ IA32_VMX_TRUE_PINBASED_CTLS low bits mask: 0b00010110
|
|
|
|
|
- IA32_VMX_TRUE_PROCBASED_CTLS low bits mask: 0x4006172
|
|
|
|
|
```
|
|
|
|
|
|
|
|
|
|
(overlapping bits in the mask just mean that the bit can be high or low)
|
|
|
|
|
|
|
|
|
|
```
|
|
|
|
|
IA32_VMX_TRUE_PROCBASED_CTLS high bits mask: 0b11111111111110011111111111111110 // these bits can be high
|
|
|
|
|
IA32_VMX_TRUE_PROCBASED_CTLS low bits mask: 0b00000100000000000110000101110010 // these bits can be low
|
|
|
|
|
```
|
|
|
|
|
|
|
|
|
|
#### vm-entry controls
|
|
|
|
|
|
|
|
|
|
```
|
|
|
|
|