| PARAM_VALUE |
0 |
vmcs_conf |
7408326053338529792,7617802386254397440 |
| PARAM_VALUE |
1 |
msrs |
7408326053338529840,7617802386254397488 |
| PARAM_VALUE |
1 |
msrs->pinbased_ctls_high |
0,86-255 |
| PARAM_VALUE |
1 |
msrs->pinbased_ctls_low |
0,22 |
| BUF_SIZE |
1 |
msrs |
112 |
| DATA_SOURCE |
0 |
vmcs_conf |
$0 |
| PARAM_COMPARE |
0 |
&vmcs_conf->nested |
== $1 |
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
vmcs_conf->basic |
0 |
| HOST_DATA |
0 |
vmcs_conf->cpu_based_2nd_exec_ctrl |
0 |
| HOST_DATA |
0 |
vmcs_conf->cpu_based_3rd_exec_ctrl |
0,16[c] |
| HOST_DATA |
0 |
vmcs_conf->cpu_based_exec_ctrl |
0 |
| HOST_DATA |
0 |
vmcs_conf->misc |
0 |
| HOST_DATA |
0 |
vmcs_conf->pin_based_exec_ctrl |
0 |
| HOST_DATA |
0 |
vmcs_conf->vmentry_ctrl |
0 |
| HOST_DATA |
0 |
vmcs_conf->vmexit_ctrl |
0 |
| HALF_LOCKED2 |
|
_T->lock |
|
