| PARAM_VALUE |
1 |
vmcs_conf |
7408326053338529792,7617802386254397440 |
| PARAM_VALUE |
2 |
msrs |
7408326053338529840,7617802386254397488 |
| PARAM_VALUE |
2 |
msrs->ept_caps |
0,100859904-108216513 |
| PARAM_VALUE |
2 |
msrs->secondary_ctls_high |
0,16384-106167295 |
| PARAM_VALUE |
2 |
msrs->secondary_ctls_low |
0 |
| PARAM_VALUE |
2 |
msrs->vpid_caps |
0,3841 |
| BUF_SIZE |
2 |
msrs |
112 |
| DATA_SOURCE |
0 |
ept_caps |
$1 |
| DATA_SOURCE |
1 |
vmcs_conf |
$0 |
| PARAM_COMPARE |
1 |
&vmcs_conf->nested |
== $2 |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
1 |
vmcs_conf->basic |
0 |
| HOST_DATA |
1 |
vmcs_conf->cpu_based_2nd_exec_ctrl |
0 |
| HOST_DATA |
1 |
vmcs_conf->cpu_based_3rd_exec_ctrl |
0,16[c] |
| HOST_DATA |
1 |
vmcs_conf->cpu_based_exec_ctrl |
0 |
| HOST_DATA |
1 |
vmcs_conf->misc |
0 |
| HOST_DATA |
1 |
vmcs_conf->pin_based_exec_ctrl |
0 |
| HOST_DATA |
1 |
vmcs_conf->vmentry_ctrl |
0 |
| HOST_DATA |
1 |
vmcs_conf->vmexit_ctrl |
0 |
| HOST_DATA |
2 |
msrs->entry_ctls_high |
45567[c] |
| HOST_DATA |
2 |
msrs->exit_ctls_high |
7601663[c] |
| HOST_DATA |
2 |
msrs->pinbased_ctls_high |
86[c] |
| HOST_DATA |
2 |
msrs->procbased_ctls_high |
335667570[c] |
| HALF_LOCKED2 |
|
_T->lock |
|
