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/nested.c nested_vmx_check_controls() -> nested_evmcs_check_controls()

Type Parameter Key Value
PARAM_VALUE 0 vmcs12 4096-ptr_max
PARAM_VALUE 0 vmcs12->cpu_based_vm_exec_control 0-2147483646,2147483648-u32max
CAPPED_DATA 0 vmcs12->cpu_based_vm_exec_control 1
CAPPED_DATA 0 vmcs12->cr3_target_count 1
CAPPED_DATA 0 vmcs12->pin_based_vm_exec_control 1
CAPPED_DATA 0 vmcs12->vm_entry_controls 1
CAPPED_DATA 0 vmcs12->vm_entry_msr_load_count 1
CAPPED_DATA 0 vmcs12->vm_exit_controls 1
CAPPED_DATA 0 vmcs12->vm_exit_msr_load_count 1
CAPPED_DATA 0 vmcs12->vm_exit_msr_store_count 1
DATA_SOURCE 0 vmcs12 $1