Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/vmx/nested.c nested_cache_shadow_vmcs12() -> nested_cpu_has_shadow_vmcs()

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->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 $1

arch/x86/kvm/vmx/nested.c nested_flush_cached_shadow_vmcs12() -> nested_cpu_has_shadow_vmcs()

Type Parameter Key Value
PARAM_VALUE 0 vmcs12 4096-ptr_max
DATA_SOURCE 0 vmcs12 $1
USER_DATA 0 vmcs12->idt_vectoring_error_code 0-u32max
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/vmx/nested.c nested_vmx_check_restored_vmcs12() -> nested_cpu_has_shadow_vmcs()

Type Parameter Key Value
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/nested.c nested_vmx_check_shadow_vmcs_controls() -> nested_cpu_has_shadow_vmcs()

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
DATA_SOURCE 0 vmcs12 $1

arch/x86/kvm/vmx/nested.c nested_vmx_check_vmcs_link_ptr() -> nested_cpu_has_shadow_vmcs()

Type Parameter Key Value
PARAM_VALUE 0 vmcs12 4096-ptr_max
CAPPED_DATA 0 vmcs12->guest_cr0 1
CAPPED_DATA 0 vmcs12->guest_cr4 1
CAPPED_DATA 0 vmcs12->vm_entry_controls 1
CAPPED_DATA 0 vmcs12->vmcs_link_pointer 1
DATA_SOURCE 0 vmcs12 $1

arch/x86/kvm/vmx/nested.c nested_vmx_exit_handled_vmcs_access() -> nested_cpu_has_shadow_vmcs()

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

arch/x86/kvm/vmx/nested.c vmx_get_nested_state() -> nested_cpu_has_shadow_vmcs()

Type Parameter Key Value
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/nested.c vmx_get_nested_state() -> nested_cpu_has_shadow_vmcs()

Type Parameter Key Value
DATA_SOURCE 0 vmcs12 r get_vmcs12

arch/x86/kvm/vmx/nested.c vmx_set_nested_state() -> nested_cpu_has_shadow_vmcs()

Type Parameter Key Value
PARAM_VALUE 0 vmcs12 4096-ptr_max
DATA_SOURCE 0 vmcs12 r get_vmcs12
USER_DATA 0 vmcs12->abort 0-u32max
USER_DATA 0 vmcs12->apic_access_addr 0-u64max
USER_DATA 0 vmcs12->cpu_based_vm_exec_control 0-u32max
USER_DATA 0 vmcs12->cr0_guest_host_mask 0-u64max
USER_DATA 0 vmcs12->cr0_read_shadow 0-u64max
USER_DATA 0 vmcs12->cr3_target_count 0-u32max
USER_DATA 0 vmcs12->cr4_guest_host_mask 0-u64max
USER_DATA 0 vmcs12->cr4_read_shadow 0-u64max
USER_DATA 0 vmcs12->encls_exiting_bitmap 0-u64max
USER_DATA 0 vmcs12->eoi_exit_bitmap0 0-u64max
USER_DATA 0 vmcs12->eoi_exit_bitmap1 0-u64max
USER_DATA 0 vmcs12->eoi_exit_bitmap2 0-u64max
USER_DATA 0 vmcs12->eoi_exit_bitmap3 0-u64max
USER_DATA 0 vmcs12->ept_pointer 0-u64max
USER_DATA 0 vmcs12->eptp_list_address 0-u64max
USER_DATA 0 vmcs12->exception_bitmap 0-u32max
USER_DATA 0 vmcs12->exit_qualification 0-u64max
USER_DATA 0 vmcs12->guest_activity_state 0-u32max
USER_DATA 0 vmcs12->guest_bndcfgs 0-u64max
USER_DATA 0 vmcs12->guest_cr0 0-u64max
USER_DATA 0 vmcs12->guest_cr3 0-u64max
USER_DATA 0 vmcs12->guest_cr4 0-u64max
USER_DATA 0 vmcs12->guest_cs_ar_bytes 0-u32max
USER_DATA 0 vmcs12->guest_cs_base 0-u64max
USER_DATA 0 vmcs12->guest_cs_limit 0-u32max
USER_DATA 0 vmcs12->guest_cs_selector 0-u16max
USER_DATA 0 vmcs12->guest_dr7 0-u64max
USER_DATA 0 vmcs12->guest_ds_ar_bytes 0-u32max
USER_DATA 0 vmcs12->guest_ds_base 0-u64max
USER_DATA 0 vmcs12->guest_ds_limit 0-u32max
USER_DATA 0 vmcs12->guest_ds_selector 0-u16max
USER_DATA 0 vmcs12->guest_es_ar_bytes 0-u32max
USER_DATA 0 vmcs12->guest_es_base 0-u64max
USER_DATA 0 vmcs12->guest_es_limit 0-u32max
USER_DATA 0 vmcs12->guest_es_selector 0-u16max
USER_DATA 0 vmcs12->guest_fs_ar_bytes 0-u32max
USER_DATA 0 vmcs12->guest_fs_base 0-u64max
USER_DATA 0 vmcs12->guest_fs_limit 0-u32max
USER_DATA 0 vmcs12->guest_fs_selector 0-u16max
USER_DATA 0 vmcs12->guest_gdtr_base 0-u64max
USER_DATA 0 vmcs12->guest_gdtr_limit 0-u32max
USER_DATA 0 vmcs12->guest_gs_ar_bytes 0-u32max
USER_DATA 0 vmcs12->guest_gs_base 0-u64max
USER_DATA 0 vmcs12->guest_gs_limit 0-u32max
USER_DATA 0 vmcs12->guest_gs_selector 0-u16max
USER_DATA 0 vmcs12->guest_ia32_debugctl 0-u64max
USER_DATA 0 vmcs12->guest_ia32_efer 0-u64max
USER_DATA 0 vmcs12->guest_ia32_pat 0-u64max
USER_DATA 0 vmcs12->guest_ia32_perf_global_ctrl 0-u64max
USER_DATA 0 vmcs12->guest_idtr_base 0-u64max
USER_DATA 0 vmcs12->guest_idtr_limit 0-u32max
USER_DATA 0 vmcs12->guest_interruptibility_info 0-u32max
USER_DATA 0 vmcs12->guest_intr_status 0-u16max
USER_DATA 0 vmcs12->guest_ldtr_ar_bytes 0-u32max
USER_DATA 0 vmcs12->guest_ldtr_base 0-u64max
USER_DATA 0 vmcs12->guest_ldtr_limit 0-u32max
USER_DATA 0 vmcs12->guest_ldtr_selector 0-u16max
USER_DATA 0 vmcs12->guest_linear_address 0-u64max
USER_DATA 0 vmcs12->guest_pdptr0 0-u64max
USER_DATA 0 vmcs12->guest_pdptr1 0-u64max
USER_DATA 0 vmcs12->guest_pdptr2 0-u64max
USER_DATA 0 vmcs12->guest_pdptr3 0-u64max
USER_DATA 0 vmcs12->guest_pending_dbg_exceptions 0-u64max
USER_DATA 0 vmcs12->guest_physical_address 0-u64max
USER_DATA 0 vmcs12->guest_pml_index 0-u16max
USER_DATA 0 vmcs12->guest_rflags 0-u64max
USER_DATA 0 vmcs12->guest_rip 0-u64max
USER_DATA 0 vmcs12->guest_rsp 0-u64max
USER_DATA 0 vmcs12->guest_s_cet 0-u64max
USER_DATA 0 vmcs12->guest_ss_ar_bytes 0-u32max
USER_DATA 0 vmcs12->guest_ss_base 0-u64max
USER_DATA 0 vmcs12->guest_ss_limit 0-u32max
USER_DATA 0 vmcs12->guest_ss_selector 0-u16max
USER_DATA 0 vmcs12->guest_ssp 0-u64max
USER_DATA 0 vmcs12->guest_ssp_tbl 0-u64max
USER_DATA 0 vmcs12->guest_sysenter_cs 0-u32max
USER_DATA 0 vmcs12->guest_sysenter_eip 0-u64max
USER_DATA 0 vmcs12->guest_sysenter_esp 0-u64max
USER_DATA 0 vmcs12->guest_tr_ar_bytes 0-u32max
USER_DATA 0 vmcs12->guest_tr_base 0-u64max
USER_DATA 0 vmcs12->guest_tr_limit 0-u32max
USER_DATA 0 vmcs12->guest_tr_selector 0-u16max
USER_DATA 0 vmcs12->host_cr0 0-u64max
USER_DATA 0 vmcs12->host_cr3 0-u64max
USER_DATA 0 vmcs12->host_cr4 0-u64max
USER_DATA 0 vmcs12->host_cs_selector 0-u16max
USER_DATA 0 vmcs12->host_ds_selector 0-u16max
USER_DATA 0 vmcs12->host_es_selector 0-u16max
USER_DATA 0 vmcs12->host_fs_base 0-u64max
USER_DATA 0 vmcs12->host_fs_selector 0-u16max
USER_DATA 0 vmcs12->host_gdtr_base 0-u64max
USER_DATA 0 vmcs12->host_gs_base 0-u64max
USER_DATA 0 vmcs12->host_gs_selector 0-u16max
USER_DATA 0 vmcs12->host_ia32_efer 0-u64max
USER_DATA 0 vmcs12->host_ia32_pat 0-u64max
USER_DATA 0 vmcs12->host_ia32_perf_global_ctrl 0-u64max
USER_DATA 0 vmcs12->host_ia32_sysenter_cs 0-u32max
USER_DATA 0 vmcs12->host_ia32_sysenter_eip 0-u64max
USER_DATA 0 vmcs12->host_ia32_sysenter_esp 0-u64max
USER_DATA 0 vmcs12->host_idtr_base 0-u64max
USER_DATA 0 vmcs12->host_rip 0-u64max
USER_DATA 0 vmcs12->host_rsp 0-u64max
USER_DATA 0 vmcs12->host_s_cet 0-u64max
USER_DATA 0 vmcs12->host_ss_selector 0-u16max
USER_DATA 0 vmcs12->host_ssp 0-u64max
USER_DATA 0 vmcs12->host_ssp_tbl 0-u64max
USER_DATA 0 vmcs12->host_tr_base 0-u64max
USER_DATA 0 vmcs12->host_tr_selector 0-u16max
USER_DATA 0 vmcs12->idt_vectoring_error_code 0-u32max
USER_DATA 0 vmcs12->idt_vectoring_info_field 0-u32max
USER_DATA 0 vmcs12->io_bitmap_a 0-u64max
USER_DATA 0 vmcs12->io_bitmap_b 0-u64max
USER_DATA 0 vmcs12->launch_state 0-u32max
USER_DATA 0 vmcs12->msr_bitmap 0-u64max
USER_DATA 0 vmcs12->page_fault_error_code_mask 0-u32max
USER_DATA 0 vmcs12->page_fault_error_code_match 0-u32max
USER_DATA 0 vmcs12->pin_based_vm_exec_control 0-u32max
USER_DATA 0 vmcs12->pml_address 0-u64max
USER_DATA 0 vmcs12->posted_intr_desc_addr 0-u64max
USER_DATA 0 vmcs12->posted_intr_nv 0-u16max
USER_DATA 0 vmcs12->secondary_vm_exec_control 0-u32max
USER_DATA 0 vmcs12->tpr_threshold 0-u32max
USER_DATA 0 vmcs12->tsc_multiplier 0-u64max
USER_DATA 0 vmcs12->tsc_offset 0-u64max
USER_DATA 0 vmcs12->virtual_apic_page_addr 0-u64max
USER_DATA 0 vmcs12->virtual_processor_id 0-u16max
USER_DATA 0 vmcs12->vm_entry_controls 0-u32max
USER_DATA 0 vmcs12->vm_entry_exception_error_code 0-u32max
USER_DATA 0 vmcs12->vm_entry_instruction_len 0-u32max
USER_DATA 0 vmcs12->vm_entry_intr_info_field 0-u32max
USER_DATA 0 vmcs12->vm_entry_msr_load_addr 0-u64max
USER_DATA 0 vmcs12->vm_entry_msr_load_count 0-u32max
USER_DATA 0 vmcs12->vm_exit_controls 0-u32max
USER_DATA 0 vmcs12->vm_exit_instruction_len 0-u32max
USER_DATA 0 vmcs12->vm_exit_intr_error_code 0-u32max
USER_DATA 0 vmcs12->vm_exit_intr_info 0-u32max
USER_DATA 0 vmcs12->vm_exit_msr_load_addr 0-u64max
USER_DATA 0 vmcs12->vm_exit_msr_load_count 0-u32max
USER_DATA 0 vmcs12->vm_exit_msr_store_addr 0-u64max
USER_DATA 0 vmcs12->vm_exit_msr_store_count 0-u32max
USER_DATA 0 vmcs12->vm_exit_reason 0-u32max
USER_DATA 0 vmcs12->vm_function_control 0-u64max
USER_DATA 0 vmcs12->vm_instruction_error 0-u32max
USER_DATA 0 vmcs12->vmcs_link_pointer 0-u64max
USER_DATA 0 vmcs12->vmread_bitmap 0-u64max
USER_DATA 0 vmcs12->vmwrite_bitmap 0-u64max
USER_DATA 0 vmcs12->vmx_instruction_info 0-u32max
USER_DATA 0 vmcs12->vmx_preemption_timer_value 0-u32max
USER_DATA 0 vmcs12->xss_exit_bitmap 0-u64max
USER_PTR 0 vmcs12
USER_PTR 0 vmcs12->dead_space
USER_PTR 0 vmcs12->padding
USER_PTR 0 vmcs12->padding32
USER_PTR 0 vmcs12->padding64
USER_PTR 0 vmcs12->paddingl