Defined in 1 files as a function:
Referenced in 6 files:
- arch/x86/kvm/cpuid.c
- arch/x86/kvm/cpuid.h, line 127
- arch/x86/kvm/svm/pmu.c, line 199
- arch/x86/kvm/vmx/pmu_intel.c, line 544
- arch/x86/kvm/vmx/sgx.c
- arch/x86/kvm/vmx/vmx.c
Smatch caller information:
arch/x86/kvm/svm/pmu.c amd_pmu_refresh() -> kvm_find_cpuid_entry_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 2147483682 |
| PARAM_VALUE | 2 | index | 0 |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/sgx.c __handle_encls_ecreate() -> kvm_find_cpuid_entry_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 18 |
| PARAM_VALUE | 2 | index | 0 |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/sgx.c __handle_encls_ecreate() -> kvm_find_cpuid_entry_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 18 |
| PARAM_VALUE | 2 | index | 1 |
| CAPPED_DATA | 0 | vcpu->arch.cpuid_nent | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/sgx.c sgx_intercept_encls_ecreate() -> kvm_find_cpuid_entry_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 18 |
| PARAM_VALUE | 2 | index | 0 |
| DATA_SOURCE | 0 | vcpu | $0 |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.intercept_message | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved2 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved3 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved4 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.virtualization_fault_information | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.vtl_ret_actions |
arch/x86/kvm/vmx/sgx.c sgx_intercept_encls_ecreate() -> kvm_find_cpuid_entry_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.cpuid_nent | 1-s32max |
| PARAM_VALUE | 1 | function | 18 |
| PARAM_VALUE | 2 | index | 1 |
| CAPPED_DATA | 0 | vcpu->arch.cpuid_nent | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.intercept_message | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved2 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved3 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved4 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.virtualization_fault_information | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.vtl_ret_actions |
arch/x86/kvm/svm/sev.c guest_cpuid_has() -> kvm_find_cpuid_entry_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/pmu_intel.c intel_pmu_refresh() -> kvm_find_cpuid_entry_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.cpuid_nent | 1-s32max |
| PARAM_VALUE | 1 | function | 7 |
| PARAM_VALUE | 2 | index | 0 |
| CAPPED_DATA | 0 | vcpu->arch.cpuid_nent | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/cpuid.c cpuid_get_supported_xcr0() -> kvm_find_cpuid_entry_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 13 |
| PARAM_VALUE | 2 | index | 0 |
| BUF_SIZE | 0 | vcpu | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | vcpu | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | vcpu->arch.cpuid_entries | (-1)-0,40-10240 |
| BUF_SIZE | 0 | vcpu->arch.mce_banks | (-1),8 |
| BUF_SIZE | 0 | vcpu->arch.mci_ctl2_banks | (-1),8 |
| CAPPED_DATA | 0 | vcpu | 1 |
| CAPPED_DATA | 0 | vcpu->arch.cpuid_nent | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOSPEC | 0 | vcpu->arch.cpuid_nent | |
| NOSPEC | 0 | vcpu->vcpu_id | |
| MEM_ZERO | 0 | vcpu->arch.cpu_caps | |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->eax | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->ebx | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->ecx | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->edx | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->flags | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->function | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->index | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_nent | 0-256[c] |
| USER_DATA | 0 | vcpu->arch.l1_tsc_offset | 0-u64max |
| USER_DATA | 0 | vcpu->arch.pv_time.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.pv_time.kvm->arch.pre_fault_allowed | 0-1 |
| USER_DATA | 0 | vcpu->arch.pv_time.kvm->arch.vm_type | 0-5 |
| USER_DATA | 0 | vcpu->arch.tsc_offset | 0-u64max |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.noncoherent_dma_count.counter | 0 |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.pre_fault_allowed | 1[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.vm_type | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.noncoherent_dma_count.counter | 0 |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.pre_fault_allowed | 1[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.vm_type | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.noncoherent_dma_count.counter | 0 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.pre_fault_allowed | 1[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.vm_type | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.noncoherent_dma_count.counter | 0 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.pre_fault_allowed | 1[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.vm_type | 0-1 |
| USER_DATA | 0 | vcpu->vcpu_id | 1-16383[c] |
| USER_PTR | 0 | vcpu->arch.cpuid_entries | |
| USER_PTR | 0 | vcpu->arch.cpuid_entries->padding | |
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/cpuid.c cpuid_get_supported_xss() -> kvm_find_cpuid_entry_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 13 |
| PARAM_VALUE | 2 | index | 1 |
| BUF_SIZE | 0 | vcpu | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | vcpu | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | vcpu->arch.cpuid_entries | (-1)-0,40-10240 |
| BUF_SIZE | 0 | vcpu->arch.mce_banks | (-1),8 |
| BUF_SIZE | 0 | vcpu->arch.mci_ctl2_banks | (-1),8 |
| CAPPED_DATA | 0 | vcpu | 1 |
| CAPPED_DATA | 0 | vcpu->arch.cpuid_nent | 1 |
| CAPPED_DATA | 0 | vcpu->arch.guest_supported_xcr0 | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOSPEC | 0 | vcpu->arch.cpuid_nent | |
| NOSPEC | 0 | vcpu->vcpu_id | |
| MEM_ZERO | 0 | vcpu->arch.cpu_caps | |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->eax | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->ebx | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->ecx | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->edx | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->flags | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->function | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->index | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_nent | 0-256[c] |
| USER_DATA | 0 | vcpu->arch.guest_supported_xcr0 | 0-393983[c] |
| USER_DATA | 0 | vcpu->arch.l1_tsc_offset | 0-u64max |
| USER_DATA | 0 | vcpu->arch.pv_time.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.pv_time.kvm->arch.pre_fault_allowed | 0-1 |
| USER_DATA | 0 | vcpu->arch.pv_time.kvm->arch.vm_type | 0-5 |
| USER_DATA | 0 | vcpu->arch.tsc_offset | 0-u64max |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.noncoherent_dma_count.counter | 0 |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.pre_fault_allowed | 1[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.vm_type | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.noncoherent_dma_count.counter | 0 |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.pre_fault_allowed | 1[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.vm_type | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.noncoherent_dma_count.counter | 0 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.pre_fault_allowed | 1[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.vm_type | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.noncoherent_dma_count.counter | 0 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.pre_fault_allowed | 1[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.vm_type | 0-1 |
| USER_DATA | 0 | vcpu->vcpu_id | 1-16383[c] |
| USER_PTR | 0 | vcpu->arch.cpuid_entries | |
| USER_PTR | 0 | vcpu->arch.cpuid_entries->padding | |
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/cpuid.c get_out_of_range_cpuid_entry() -> kvm_find_cpuid_entry_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.cpuid_nent | 1-s32max |
| BUF_SIZE | 0 | vcpu | (-1),1-s32max |
| BUF_SIZE | 0 | vcpu | (-1),1-s32max |
| CAPPED_DATA | 0 | vcpu->arch.cpuid_nent | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 2 | index | $2 |
| USER_DATA | 0 | *vcpu->arch.emulate_ctxt->fetch.end | 0-255 |
| USER_DATA | 1 | function | 0-u32max |
| USER_PTR | 0 | vcpu->arch.emulate_ctxt->fetch.end |
arch/x86/kvm/cpuid.c kvm_check_cpuid() -> kvm_find_cpuid_entry_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.cpuid_entries | 0,16,4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.cpuid_nent | 0-256 |
| PARAM_VALUE | 1 | function | 13 |
| PARAM_VALUE | 2 | index | 0 |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vcpu->arch.cpuid_entries | 0,40-10240 |
| CAPPED_DATA | 0 | vcpu->arch.cpuid_nent | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->eax | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->ebx | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->ecx | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->edx | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->flags | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->function | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->index | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_nent | 0-256[c] |
| USER_PTR | 0 | vcpu->arch.cpuid_entries | |
| USER_PTR | 0 | vcpu->arch.cpuid_entries->padding | |
| LOCK2 | &vcpu->mutex | ||
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/cpuid.c kvm_cpuid() -> kvm_find_cpuid_entry_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
| USER_DATA | 0 | *vcpu->arch.emulate_ctxt->fetch.end | 0-255 |
| USER_PTR | 0 | vcpu->arch.emulate_ctxt->fetch.end |
arch/x86/kvm/cpuid.c kvm_cpuid() -> kvm_find_cpuid_entry_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 11,31 |
| PARAM_VALUE | 2 | index | 1 |
| CAPPED_DATA | 0 | vcpu->arch.cpuid_nent | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| BIT_INFO | 1 | function | 0xb,0x1f |
| USER_DATA | 0 | *vcpu->arch.emulate_ctxt->fetch.end | 0-255 |
| USER_PTR | 0 | vcpu->arch.emulate_ctxt->fetch.end |
arch/x86/kvm/cpuid.c kvm_update_cpuid_runtime() -> kvm_find_cpuid_entry_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 7 |
| PARAM_VALUE | 2 | index | 0 |
| BUF_SIZE | 0 | vcpu | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | vcpu | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | vcpu->arch.cpuid_entries | (-1)-0,40-10240 |
| BUF_SIZE | 0 | vcpu->arch.mce_banks | (-1),8 |
| BUF_SIZE | 0 | vcpu->arch.mci_ctl2_banks | (-1),8 |
| CAPPED_DATA | 0 | vcpu | 1 |
| CAPPED_DATA | 0 | vcpu->arch.cpuid_nent | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOSPEC | 0 | vcpu->arch.cpuid_nent | |
| NOSPEC | 0 | vcpu->vcpu_id | |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->eax | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->ebx | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->ecx | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->edx | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->flags | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->function | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->index | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_nent | 0-256[c] |
| USER_DATA | 0 | vcpu->arch.l1_tsc_offset | 0-u64max |
| USER_DATA | 0 | vcpu->arch.pv_time.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.pv_time.kvm->arch.pre_fault_allowed | 0-1 |
| USER_DATA | 0 | vcpu->arch.pv_time.kvm->arch.vm_type | 0-5 |
| USER_DATA | 0 | vcpu->arch.tsc_offset | 0-u64max |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.noncoherent_dma_count.counter | 0 |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.pre_fault_allowed | 1[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.vm_type | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.noncoherent_dma_count.counter | 0 |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.pre_fault_allowed | 1[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.vm_type | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.noncoherent_dma_count.counter | 0 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.pre_fault_allowed | 1[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.vm_type | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.noncoherent_dma_count.counter | 0 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.pre_fault_allowed | 1[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.vm_type | 0-1 |
| USER_DATA | 0 | vcpu->vcpu_id | 1-16383[c] |
| USER_DATA | 0 | *vcpu->arch.emulate_ctxt->fetch.end | 0-255 |
| USER_PTR | 0 | vcpu->arch.cpuid_entries | |
| USER_PTR | 0 | vcpu->arch.cpuid_entries->padding | |
| USER_PTR | 0 | vcpu->arch.emulate_ctxt->fetch.end | |
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/cpuid.c kvm_update_cpuid_runtime() -> kvm_find_cpuid_entry_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 13 |
| PARAM_VALUE | 2 | index | 0 |
| BUF_SIZE | 0 | vcpu | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | vcpu | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | vcpu->arch.cpuid_entries | (-1)-0,40-10240 |
| BUF_SIZE | 0 | vcpu->arch.mce_banks | (-1),8 |
| BUF_SIZE | 0 | vcpu->arch.mci_ctl2_banks | (-1),8 |
| CAPPED_DATA | 0 | vcpu | 1 |
| CAPPED_DATA | 0 | vcpu->arch.cpuid_nent | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOSPEC | 0 | vcpu->arch.cpuid_nent | |
| NOSPEC | 0 | vcpu->vcpu_id | |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->eax | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->ebx | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->ecx | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->edx | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->flags | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->function | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->index | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_nent | 0-256[c] |
| USER_DATA | 0 | vcpu->arch.l1_tsc_offset | 0-u64max |
| USER_DATA | 0 | vcpu->arch.pv_time.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.pv_time.kvm->arch.pre_fault_allowed | 0-1 |
| USER_DATA | 0 | vcpu->arch.pv_time.kvm->arch.vm_type | 0-5 |
| USER_DATA | 0 | vcpu->arch.tsc_offset | 0-u64max |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.noncoherent_dma_count.counter | 0 |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.pre_fault_allowed | 1[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.vm_type | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.noncoherent_dma_count.counter | 0 |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.pre_fault_allowed | 1[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.vm_type | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.noncoherent_dma_count.counter | 0 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.pre_fault_allowed | 1[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.vm_type | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.noncoherent_dma_count.counter | 0 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.pre_fault_allowed | 1[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.vm_type | 0-1 |
| USER_DATA | 0 | vcpu->vcpu_id | 1-16383[c] |
| USER_DATA | 0 | *vcpu->arch.emulate_ctxt->fetch.end | 0-255 |
| USER_PTR | 0 | vcpu->arch.cpuid_entries | |
| USER_PTR | 0 | vcpu->arch.cpuid_entries->padding | |
| USER_PTR | 0 | vcpu->arch.emulate_ctxt->fetch.end | |
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/cpuid.c kvm_update_cpuid_runtime() -> kvm_find_cpuid_entry_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 13 |
| PARAM_VALUE | 2 | index | 1 |
| BUF_SIZE | 0 | vcpu | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | vcpu | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | vcpu->arch.cpuid_entries | (-1)-0,40-10240 |
| BUF_SIZE | 0 | vcpu->arch.mce_banks | (-1),8 |
| BUF_SIZE | 0 | vcpu->arch.mci_ctl2_banks | (-1),8 |
| CAPPED_DATA | 0 | vcpu | 1 |
| CAPPED_DATA | 0 | vcpu->arch.cpuid_nent | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOSPEC | 0 | vcpu->arch.cpuid_nent | |
| NOSPEC | 0 | vcpu->vcpu_id | |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->eax | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->ebx | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->ecx | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->edx | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->flags | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->function | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->index | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_nent | 0-256[c] |
| USER_DATA | 0 | vcpu->arch.l1_tsc_offset | 0-u64max |
| USER_DATA | 0 | vcpu->arch.pv_time.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.pv_time.kvm->arch.pre_fault_allowed | 0-1 |
| USER_DATA | 0 | vcpu->arch.pv_time.kvm->arch.vm_type | 0-5 |
| USER_DATA | 0 | vcpu->arch.tsc_offset | 0-u64max |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.noncoherent_dma_count.counter | 0 |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.pre_fault_allowed | 1[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.vm_type | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.noncoherent_dma_count.counter | 0 |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.pre_fault_allowed | 1[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.vm_type | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.noncoherent_dma_count.counter | 0 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.pre_fault_allowed | 1[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.vm_type | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.noncoherent_dma_count.counter | 0 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.pre_fault_allowed | 1[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.vm_type | 0-1 |
| USER_DATA | 0 | vcpu->vcpu_id | 1-16383[c] |
| USER_DATA | 0 | *vcpu->arch.emulate_ctxt->fetch.end | 0-255 |
| USER_PTR | 0 | vcpu->arch.cpuid_entries | |
| USER_PTR | 0 | vcpu->arch.cpuid_entries->padding | |
| USER_PTR | 0 | vcpu->arch.emulate_ctxt->fetch.end | |
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/cpuid.c kvm_vcpu_after_set_cpuid() -> kvm_find_cpuid_entry_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 1,6-7,13,18,30,36,2147483649,2147483655-2147483656,2147483658,2147483679,2147483681-2147483682,2156265473,3221225473 |
| BUF_SIZE | 0 | vcpu | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | vcpu | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | vcpu->arch.cpuid_entries | (-1)-0,40-10240 |
| BUF_SIZE | 0 | vcpu->arch.mce_banks | (-1),8 |
| BUF_SIZE | 0 | vcpu->arch.mci_ctl2_banks | (-1),8 |
| CAPPED_DATA | 0 | vcpu | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOSPEC | 0 | vcpu->arch.cpuid_nent | |
| NOSPEC | 0 | vcpu->vcpu_id | |
| MEM_ZERO | 0 | vcpu->arch.cpu_caps | |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->eax | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->ebx | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->ecx | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->edx | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->flags | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->function | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_entries->index | 0-u32max |
| USER_DATA | 0 | vcpu->arch.cpuid_nent | 0-256[c] |
| USER_DATA | 0 | vcpu->arch.l1_tsc_offset | 0-u64max |
| USER_DATA | 0 | vcpu->arch.pv_time.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.pv_time.kvm->arch.pre_fault_allowed | 0-1 |
| USER_DATA | 0 | vcpu->arch.pv_time.kvm->arch.vm_type | 0-6 |
| USER_DATA | 0 | vcpu->arch.tsc_offset | 0-u64max |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.pre_fault_allowed | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.vm_type | 0-5 |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.pre_fault_allowed | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.vm_type | 0-5 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.pre_fault_allowed | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.vm_type | 0-5 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.pre_fault_allowed | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.vm_type | 0-5 |
| USER_DATA | 0 | vcpu->vcpu_id | 1-16383[c] |
| USER_PTR | 0 | vcpu->arch.cpuid_entries | |
| USER_PTR | 0 | vcpu->arch.cpuid_entries->padding | |
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/hyperv.c guest_cpuid_has() -> kvm_find_cpuid_entry_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| CAPPED_DATA | 0 | vcpu->kvm->arch.xen.hvm_config.msr | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| USER_DATA | 0 | *vcpu->arch.emulate_ctxt->fetch.end | 0-255 |
| USER_PTR | 0 | vcpu->arch.emulate_ctxt->fetch.end | |
| LOCK2 | &hv->hv_lock | ||
| TYPE_LOCK | (struct kvm_hv)->hv_lock |
arch/x86/kvm/msrs.c guest_cpuid_has() -> kvm_find_cpuid_entry_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/vmx.c nested_vmx_cr_fixed1_bits_update() -> kvm_find_cpuid_entry_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 7 |
| PARAM_VALUE | 2 | index | 0 |
| CAPPED_DATA | 0 | vcpu->arch.cpuid_nent | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/vmx.c nested_vmx_cr_fixed1_bits_update() -> kvm_find_cpuid_entry_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 7 |
| PARAM_VALUE | 2 | index | 1 |
| CAPPED_DATA | 0 | vcpu->arch.cpuid_nent | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
arch/x86/kvm/vmx/vmx.c update_intel_pt_cfg() -> kvm_find_cpuid_entry_index()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 20 |
| PARAM_VALUE | 2 | index | 0-1 |
| DATA_SOURCE | 0 | vcpu | $0 |