Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/vmx/nested.c nested_vmx_setup_ctls_msrs() -> nested_vmx_setup_basic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msrs | 7408326053338529840,7617802386254397488 |
| PARAM_VALUE | 0 | msrs->basic | 0,42801788946317008 |
| BUF_SIZE | 0 | msrs | 112 |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | msrs->entry_ctls_high | 45567[c] |
| HOST_DATA | 0 | msrs->exit_ctls_high | 7601663[c] |
| HOST_DATA | 0 | msrs->misc_low | 536871237[c] |
| HOST_DATA | 0 | msrs->pinbased_ctls_high | 86[c] |
| HOST_DATA | 0 | msrs->procbased_ctls_high | 335667570[c] |
| HOST_DATA | 0 | msrs->secondary_ctls_high | 16384-16387,16416-16419,16512-16515,16544-16547,49152-4374691[c |
| HALF_LOCKED2 | _T->lock |