Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

arch/x86/kvm/vmx/nested.c __nested_vmx_vmexit() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 0 vmcs12 4096-ptr_max
PARAM_VALUE 1 bit 8
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/nested.c nested_check_vm_execution_controls() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 0 vmcs12 4096-ptr_max
PARAM_VALUE 1 bit 2147483648
CAPPED_DATA 0 vmcs12->cpu_based_vm_exec_control 1
CAPPED_DATA 0 vmcs12->pin_based_vm_exec_control 1
DATA_SOURCE 0 vmcs12 $1

arch/x86/kvm/vmx/nested.c nested_cpu_has_mtf() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 0 vmcs12 4096-ptr_max
PARAM_VALUE 1 bit 134217728
DATA_SOURCE 0 vmcs12 $0

arch/x86/kvm/vmx/nested.c nested_get_vmcs12_pages() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 0 vmcs12 4096-ptr_max
PARAM_VALUE 1 bit 2097152
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/nested.c nested_get_vmcs12_pages() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 0 vmcs12 4096-ptr_max
PARAM_VALUE 0 vmcs12->cpu_based_vm_exec_control 2097152-u32max
PARAM_VALUE 1 bit 524288
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/nested.c nested_get_vmcs12_pages() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 0 vmcs12 4096-ptr_max
PARAM_VALUE 0 vmcs12->cpu_based_vm_exec_control 2097152-u32max
PARAM_VALUE 1 bit 1048576
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/nested.c nested_vmx_check_apicv_controls() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 0 vmcs12 4096-ptr_max
PARAM_VALUE 0 vmcs12->cpu_based_vm_exec_control 0-2147483646,2147483648-u32max
PARAM_VALUE 1 bit 2097152
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
DATA_SOURCE 0 vmcs12 $1

arch/x86/kvm/vmx/nested.c nested_vmx_check_io_bitmap_controls() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 0 vmcs12 4096-ptr_max
PARAM_VALUE 0 vmcs12->cpu_based_vm_exec_control 0-2147483646,2147483648-u32max
PARAM_VALUE 1 bit 33554432
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
DATA_SOURCE 0 vmcs12 $1

arch/x86/kvm/vmx/nested.c nested_vmx_check_msr_bitmap_controls() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 0 vmcs12 4096-ptr_max
PARAM_VALUE 0 vmcs12->cpu_based_vm_exec_control 0-2147483646,2147483648-u32max
PARAM_VALUE 1 bit 268435456
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
DATA_SOURCE 0 vmcs12 $1

arch/x86/kvm/vmx/nested.c nested_vmx_check_nmi_controls() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 0 vmcs12 4096-ptr_max
PARAM_VALUE 0 vmcs12->cpu_based_vm_exec_control 0-2147483646,2147483648-u32max
PARAM_VALUE 1 bit 4194304
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
DATA_SOURCE 0 vmcs12 $0

arch/x86/kvm/vmx/nested.c nested_vmx_check_tpr_shadow_controls() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 0 vmcs12 4096-ptr_max
PARAM_VALUE 0 vmcs12->cpu_based_vm_exec_control 0-2147483646,2147483648-u32max
PARAM_VALUE 1 bit 2097152
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
DATA_SOURCE 0 vmcs12 $1

arch/x86/kvm/vmx/nested.c nested_vmx_check_tpr_shadow_controls() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 0 vmcs12 4096-ptr_max
PARAM_VALUE 0 vmcs12->cpu_based_vm_exec_control 2097152-2147483646,2147483648-u32max
PARAM_VALUE 1 bit 2097152
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
DATA_SOURCE 0 vmcs12 $1

arch/x86/kvm/vmx/nested.c nested_vmx_exit_handled_cr() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 1 bit 32768
DATA_SOURCE 0 vmcs12 $1

arch/x86/kvm/vmx/nested.c nested_vmx_exit_handled_cr() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 1 bit 524288
DATA_SOURCE 0 vmcs12 $1

arch/x86/kvm/vmx/nested.c nested_vmx_exit_handled_io() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 1 bit 33554432
DATA_SOURCE 0 vmcs12 $1

arch/x86/kvm/vmx/nested.c nested_vmx_exit_handled_io() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 0 vmcs12 4096-ptr_max
PARAM_VALUE 1 bit 16777216
DATA_SOURCE 0 vmcs12 $1

arch/x86/kvm/vmx/nested.c nested_vmx_exit_handled_msr() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 1 bit 268435456
DATA_SOURCE 0 vmcs12 $1

arch/x86/kvm/vmx/nested.c nested_vmx_l1_wants_exit() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 1 bit 4
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/nested.c nested_vmx_l1_wants_exit() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 1 bit 4194304
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/nested.c nested_vmx_l1_wants_exit() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 1 bit 128
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/nested.c nested_vmx_l1_wants_exit() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 1 bit 512
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/nested.c nested_vmx_l1_wants_exit() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 1 bit 2048
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/nested.c nested_vmx_l1_wants_exit() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 1 bit 4096
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/nested.c nested_vmx_l1_wants_exit() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 1 bit 8388608
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/nested.c nested_vmx_l1_wants_exit() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 1 bit 1024
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/nested.c nested_vmx_l1_wants_exit() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 1 bit 536870912
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/nested.c nested_vmx_l1_wants_exit() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 1 bit 1073741824
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/nested.c nested_vmx_l1_wants_exit() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 1 bit 2097152
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/nested.c nested_vmx_l1_wants_exit() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 0 vmcs12 4096-ptr_max
PARAM_VALUE 1 bit 512
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/nested.c nested_vmx_prepare_msr_bitmap() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 0 vmcs12 4096-ptr_max
PARAM_VALUE 1 bit 268435456
DATA_SOURCE 0 vmcs12 $1

arch/x86/kvm/vmx/nested.c nested_vmx_run() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 0 vmcs12 4096-ptr_max
PARAM_VALUE 0 vmcs12->cpu_based_vm_exec_control 0-2147483646,2147483648-u32max
PARAM_VALUE 1 bit 4194304
CAPPED_DATA 0 vmcs12->cpu_based_vm_exec_control 1
CAPPED_DATA 0 vmcs12->cr3_target_count 1
CAPPED_DATA 0 vmcs12->host_cr0 1
CAPPED_DATA 0 vmcs12->host_cr4 1
CAPPED_DATA 0 vmcs12->host_fs_base 1
CAPPED_DATA 0 vmcs12->host_gdtr_base 1
CAPPED_DATA 0 vmcs12->host_gs_base 1
CAPPED_DATA 0 vmcs12->host_ia32_sysenter_eip 1
CAPPED_DATA 0 vmcs12->host_ia32_sysenter_esp 1
CAPPED_DATA 0 vmcs12->host_idtr_base 1
CAPPED_DATA 0 vmcs12->host_rip 1
CAPPED_DATA 0 vmcs12->host_tr_base 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 r get_vmcs12

arch/x86/kvm/vmx/nested.c nested_vmx_run() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 0 vmcs12 4096-ptr_max
PARAM_VALUE 0 vmcs12->cpu_based_vm_exec_control 0-2147483646,2147483648-u32max
PARAM_VALUE 1 bit 4
CAPPED_DATA 0 vmcs12->cpu_based_vm_exec_control 1
CAPPED_DATA 0 vmcs12->cr3_target_count 1
CAPPED_DATA 0 vmcs12->host_cr0 1
CAPPED_DATA 0 vmcs12->host_cr4 1
CAPPED_DATA 0 vmcs12->host_fs_base 1
CAPPED_DATA 0 vmcs12->host_gdtr_base 1
CAPPED_DATA 0 vmcs12->host_gs_base 1
CAPPED_DATA 0 vmcs12->host_ia32_sysenter_eip 1
CAPPED_DATA 0 vmcs12->host_ia32_sysenter_esp 1
CAPPED_DATA 0 vmcs12->host_idtr_base 1
CAPPED_DATA 0 vmcs12->host_rip 1
CAPPED_DATA 0 vmcs12->host_tr_base 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 r get_vmcs12

arch/x86/kvm/vmx/nested.c prepare_vmcs02_early() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 0 vmcs12 4096-ptr_max
PARAM_VALUE 1 bit 2147483648
DATA_SOURCE 0 vmcs12 $2

arch/x86/kvm/vmx/vmx.c nested_cpu_has_mtf() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 1 bit 134217728
DATA_SOURCE 0 vmcs12 $0

arch/x86/kvm/vmx/vmx.c vmx_check_intercept() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 1 bit 128
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/vmx.c vmx_check_intercept() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 1 bit 1073741824
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/vmx.c vmx_get_l2_tsc_multiplier() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 1 bit 8
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/vmx.c vmx_get_l2_tsc_offset() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 1 bit 8
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/vmx.c vmx_is_io_intercepted() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 1 bit 33554432
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/vmx.c vmx_is_io_intercepted() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 0 vmcs12 4096-ptr_max
PARAM_VALUE 1 bit 16777216
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/vmx.c vmx_update_cr8_intercept() -> nested_cpu_has()

Type Parameter Key Value
PARAM_VALUE 1 bit 2097152