Open Menu /

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_entry_ctls()

Type Parameter Key Value
PARAM_VALUE 0 vmcs_conf 7408326053338529792,7617802386254397440
PARAM_VALUE 0 vmcs_conf->cpu_based_3rd_exec_ctrl 0,16
PARAM_VALUE 0 vmcs_conf->nested.basic 0,42801788946317008
PARAM_VALUE 0 vmcs_conf->nested.cr0_fixed0 0,2147483681
PARAM_VALUE 0 vmcs_conf->nested.cr4_fixed0 0,8192
PARAM_VALUE 0 vmcs_conf->nested.entry_ctls_high 0,45567-1176575
PARAM_VALUE 0 vmcs_conf->nested.entry_ctls_low 0,4603
PARAM_VALUE 0 vmcs_conf->nested.ept_caps 0,100859904-108216513
PARAM_VALUE 0 vmcs_conf->nested.exit_ctls_high 7601663-285212671
PARAM_VALUE 0 vmcs_conf->nested.exit_ctls_low 224763
PARAM_VALUE 0 vmcs_conf->nested.misc_high 0
PARAM_VALUE 0 vmcs_conf->nested.misc_low 0,536871237,536871269
PARAM_VALUE 0 vmcs_conf->nested.pinbased_ctls_high 86-255
PARAM_VALUE 0 vmcs_conf->nested.pinbased_ctls_low 22
PARAM_VALUE 0 vmcs_conf->nested.procbased_ctls_high 0,335667570,335667574-4294672382
PARAM_VALUE 0 vmcs_conf->nested.procbased_ctls_low 0,67133810
PARAM_VALUE 0 vmcs_conf->nested.secondary_ctls_high 0,16384-106167295
PARAM_VALUE 0 vmcs_conf->nested.secondary_ctls_low 0
PARAM_VALUE 0 vmcs_conf->nested.vmcs_enum 0,2-1022
PARAM_VALUE 0 vmcs_conf->nested.vpid_caps 0,3841
PARAM_VALUE 1 msrs 7408326053338529840,7617802386254397488
PARAM_VALUE 1 msrs->basic 0,42801788946317008
PARAM_VALUE 1 msrs->cr0_fixed0 0,2147483681
PARAM_VALUE 1 msrs->cr4_fixed0 0,8192
PARAM_VALUE 1 msrs->entry_ctls_high 0,45567-1176575
PARAM_VALUE 1 msrs->entry_ctls_low 0,4603
PARAM_VALUE 1 msrs->ept_caps 0,100859904-108216513
PARAM_VALUE 1 msrs->exit_ctls_high 7601663-285212671
PARAM_VALUE 1 msrs->exit_ctls_low 224763
PARAM_VALUE 1 msrs->misc_high 0
PARAM_VALUE 1 msrs->misc_low 0,536871237,536871269
PARAM_VALUE 1 msrs->pinbased_ctls_high 86-255
PARAM_VALUE 1 msrs->pinbased_ctls_low 22
PARAM_VALUE 1 msrs->procbased_ctls_high 0,335667570,335667574-4294672382
PARAM_VALUE 1 msrs->procbased_ctls_low 0,67133810
PARAM_VALUE 1 msrs->secondary_ctls_high 0,16384-106167295
PARAM_VALUE 1 msrs->secondary_ctls_low 0
PARAM_VALUE 1 msrs->vmcs_enum 0,2-1022
PARAM_VALUE 1 msrs->vpid_caps 0,3841
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->exit_ctls_high 7601663[c]
HOST_DATA 1 msrs->pinbased_ctls_high 86[c]
HALF_LOCKED2 _T->lock