| PARAM_VALUE |
0 |
vmcs_conf |
7408326053338529792,7617802386254397440 |
| PARAM_VALUE |
1 |
msrs |
7408326053338529840,7617802386254397488 |
| PARAM_VALUE |
1 |
msrs->misc_high |
0 |
| PARAM_VALUE |
1 |
msrs->misc_low |
0,536871237,536871269 |
| 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 |
| HOST_DATA |
1 |
msrs->entry_ctls_high |
45567[c] |
| HOST_DATA |
1 |
msrs->exit_ctls_high |
7601663[c] |
| HOST_DATA |
1 |
msrs->pinbased_ctls_high |
86[c] |
| HOST_DATA |
1 |
msrs->procbased_ctls_high |
335667570[c] |
| HOST_DATA |
1 |
msrs->secondary_ctls_high |
16384-16387,16416-16419,16512-16515,16544-16547,49152-4374691[c |
| HALF_LOCKED2 |
|
_T->lock |
|
