Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
arch/x86/kvm/vmx/sgx.c nested_cpu_has_encls_exit() -> nested_cpu_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcs12 | 1-u64max |
| PARAM_VALUE | 1 | bit | 32768 |
| DATA_SOURCE | 0 | vmcs12 | $0 |
arch/x86/kvm/vmx/nested.c __nested_vmx_vmexit() -> nested_cpu_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcs12 | 4096-ptr_max |
| PARAM_VALUE | 0 | vmcs12->cpu_based_vm_exec_control | 8-u32max |
| PARAM_VALUE | 1 | bit | 33554432 |
| DATA_SOURCE | 0 | vmcs12 | r get_vmcs12 |
arch/x86/kvm/vmx/nested.c nested_check_vm_entry_controls() -> nested_cpu_has2()
| 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 | 128 |
| 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_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 |
| BIT_INFO | 0 | vmcs12->vm_entry_intr_info_field | 0x80000000,0xffffffff |
arch/x86/kvm/vmx/nested.c nested_check_vm_execution_controls() -> nested_cpu_has2()
| 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_cpu_has_apic_reg_virt() -> nested_cpu_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcs12 | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 256 |
| CAPPED_DATA | 0 | vmcs12->cpu_based_vm_exec_control | 1 |
| DATA_SOURCE | 0 | vmcs12 | $0 |
arch/x86/kvm/vmx/nested.c nested_cpu_has_ept() -> nested_cpu_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 2 |
| DATA_SOURCE | 0 | vmcs12 | $0 |
arch/x86/kvm/vmx/nested.c nested_cpu_has_pml() -> nested_cpu_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 131072 |
| DATA_SOURCE | 0 | vmcs12 | $0 |
arch/x86/kvm/vmx/nested.c nested_cpu_has_shadow_vmcs() -> nested_cpu_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 16384 |
| DATA_SOURCE | 0 | vmcs12 | $0 |
| 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 |
arch/x86/kvm/vmx/nested.c nested_cpu_has_vid() -> nested_cpu_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 512 |
| DATA_SOURCE | 0 | vmcs12 | $0 |
arch/x86/kvm/vmx/nested.c nested_cpu_has_virt_x2apic_mode() -> nested_cpu_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcs12 | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 16 |
| CAPPED_DATA | 0 | vmcs12->cpu_based_vm_exec_control | 1 |
| DATA_SOURCE | 0 | vmcs12 | $0 |
arch/x86/kvm/vmx/nested.c nested_cpu_has_vmfunc() -> nested_cpu_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 8192 |
| DATA_SOURCE | 0 | vmcs12 | $0 |
arch/x86/kvm/vmx/nested.c nested_cpu_has_vpid() -> nested_cpu_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 32 |
| DATA_SOURCE | 0 | vmcs12 | $0 |
| USER_DATA | 0 | vmcs12->ept_pointer | 0-u64max |
| USER_DATA | 0 | vmcs12->idt_vectoring_error_code | 0-u32max |
arch/x86/kvm/vmx/nested.c nested_cpu_has_xsaves() -> nested_cpu_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcs12 | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 1048576 |
| DATA_SOURCE | 0 | vmcs12 | $0 |
arch/x86/kvm/vmx/nested.c nested_ept_mbec_enabled() -> nested_cpu_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 4194304 |
| DATA_SOURCE | 0 | vmcs12 | r get_vmcs12 |
arch/x86/kvm/vmx/nested.c nested_get_vmcs12_pages() -> nested_cpu_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 1 |
| DATA_SOURCE | 0 | vmcs12 | r get_vmcs12 |
arch/x86/kvm/vmx/nested.c nested_get_vmcs12_pages() -> nested_cpu_has2()
| 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 | 1 |
| DATA_SOURCE | 0 | vmcs12 | r get_vmcs12 |
arch/x86/kvm/vmx/nested.c nested_guest_cr0_valid() -> nested_cpu_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 128 |
| DATA_SOURCE | 0 | vmcs12 | r get_vmcs12 |
arch/x86/kvm/vmx/nested.c nested_vmx_check_apic_access_controls() -> nested_cpu_has2()
| 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 | 1 |
| 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_apicv_controls() -> nested_cpu_has2()
| 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 | 1 |
| 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_mode_based_ept_exec_controls() -> nested_cpu_has2()
| 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 | $1 |
arch/x86/kvm/vmx/nested.c nested_vmx_check_tpr_shadow_controls() -> nested_cpu_has2()
| 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 | 1 |
| 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_unrestricted_guest_controls() -> nested_cpu_has2()
| 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 | 128 |
| 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_encls() -> nested_cpu_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 32768 |
| DATA_SOURCE | 0 | vmcs12 | $1 |
arch/x86/kvm/vmx/nested.c nested_vmx_l1_wants_exit() -> nested_cpu_has2()
| 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_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 65536 |
| DATA_SOURCE | 0 | vmcs12 | r get_vmcs12 |
arch/x86/kvm/vmx/nested.c nested_vmx_l1_wants_exit() -> nested_cpu_has2()
| 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_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcs12 | 4096-ptr_max |
| 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_has2()
| 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_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 64 |
| DATA_SOURCE | 0 | vmcs12 | r get_vmcs12 |
arch/x86/kvm/vmx/nested.c nested_vmx_l1_wants_exit() -> nested_cpu_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 1048576 |
| DATA_SOURCE | 0 | vmcs12 | r get_vmcs12 |
arch/x86/kvm/vmx/nested.c nested_vmx_l1_wants_exit() -> nested_cpu_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 67108864 |
| DATA_SOURCE | 0 | vmcs12 | r get_vmcs12 |
arch/x86/kvm/vmx/nested.c prepare_vmcs02_early() -> nested_cpu_has2()
| 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 | 128 |
| DATA_SOURCE | 0 | vmcs12 | $2 |
arch/x86/kvm/vmx/vmx.c nested_cpu_has_vpid() -> nested_cpu_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 32 |
| DATA_SOURCE | 0 | vmcs12 | $0 |
arch/x86/kvm/vmx/vmx.c nested_guest_cr0_valid() -> nested_cpu_has2()
| 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_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 8 |
| DATA_SOURCE | 0 | vmcs12 | r get_vmcs12 |
arch/x86/kvm/vmx/vmx.c vmx_check_intercept() -> nested_cpu_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 4 |
| DATA_SOURCE | 0 | vmcs12 | r get_vmcs12 |
arch/x86/kvm/vmx/vmx.c vmx_get_l2_tsc_multiplier() -> nested_cpu_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcs12 | 4096-ptr_max |
| PARAM_VALUE | 0 | vmcs12->cpu_based_vm_exec_control | 8-u32max |
| PARAM_VALUE | 1 | bit | 33554432 |
| DATA_SOURCE | 0 | vmcs12 | r get_vmcs12 |
arch/x86/kvm/vmx/vmx.c vmx_set_cr4() -> nested_cpu_has2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 4 |