Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kvm/vmx/nested.c nested_vmx_hardware_setup() -> nested_vmx_setup_ctls_msrs()

Type Parameter Key Value
PARAM_VALUE 0 vmcs_conf 7408326053338529792
NOCHECK_CALL
LOCK2 _T->lock

arch/x86/kvm/vmx/vmx.c vmx_check_processor_compat() -> nested_vmx_setup_ctls_msrs()

Type Parameter Key Value
PARAM_VALUE 0 vmcs_conf 7617802386254397440
PARAM_VALUE 0 vmcs_conf->cpu_based_3rd_exec_ctrl 0,16
PARAM_VALUE 0 vmcs_conf->nested.basic 0
PARAM_VALUE 0 vmcs_conf->nested.cr0_fixed0 0
PARAM_VALUE 0 vmcs_conf->nested.cr0_fixed1 0
PARAM_VALUE 0 vmcs_conf->nested.cr4_fixed0 0
PARAM_VALUE 0 vmcs_conf->nested.cr4_fixed1 0
PARAM_VALUE 0 vmcs_conf->nested.entry_ctls_high 0
PARAM_VALUE 0 vmcs_conf->nested.entry_ctls_low 0
PARAM_VALUE 0 vmcs_conf->nested.ept_caps 0
PARAM_VALUE 0 vmcs_conf->nested.exit_ctls_high 0
PARAM_VALUE 0 vmcs_conf->nested.exit_ctls_low 0
PARAM_VALUE 0 vmcs_conf->nested.misc_high 0
PARAM_VALUE 0 vmcs_conf->nested.misc_low 0
PARAM_VALUE 0 vmcs_conf->nested.pinbased_ctls_high 0
PARAM_VALUE 0 vmcs_conf->nested.pinbased_ctls_low 0
PARAM_VALUE 0 vmcs_conf->nested.procbased_ctls_high 0
PARAM_VALUE 0 vmcs_conf->nested.procbased_ctls_low 0
PARAM_VALUE 0 vmcs_conf->nested.secondary_ctls_high 0
PARAM_VALUE 0 vmcs_conf->nested.secondary_ctls_low 0
PARAM_VALUE 0 vmcs_conf->nested.vmcs_enum 0
PARAM_VALUE 0 vmcs_conf->nested.vmfunc_controls 0
PARAM_VALUE 0 vmcs_conf->nested.vpid_caps 0
MEM_ZERO 0 vmcs_conf
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