Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/vmx/vmx.c setup_vmcs_config() -> evmcs_sanitize_exec_ctrls()

Type Parameter Key Value
PARAM_VALUE 0 vmcs_conf 7408326053338529792,7617802386254397440
PARAM_VALUE 0 vmcs_conf->cpu_based_3rd_exec_ctrl 0,16
CAPPED_DATA 0 vmcs_conf->basic 1
CAPPED_DATA 0 vmcs_conf->cpu_based_3rd_exec_ctrl 1
CAPPED_DATA 0 vmcs_conf->misc 1
DATA_SOURCE 0 vmcs_conf $0
BIT_INFO 0 vmcs_conf->basic 0x0,0xfffeffffffffffff
MEM_ZERO 0 vmcs_conf
NOCHECK_CALL
HOST_DATA 0 vmcs_conf->basic 0-u64max
HOST_DATA 0 vmcs_conf->cpu_based_2nd_exec_ctrl 0-u32max
HOST_DATA 0 vmcs_conf->cpu_based_3rd_exec_ctrl 0,16[c]
HOST_DATA 0 vmcs_conf->cpu_based_exec_ctrl 0-u32max
HOST_DATA 0 vmcs_conf->misc 0-u64max
HOST_DATA 0 vmcs_conf->pin_based_exec_ctrl 0-u32max
HOST_DATA 0 vmcs_conf->vmentry_ctrl 0-u32max
HOST_DATA 0 vmcs_conf->vmexit_ctrl 0-u32max