Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/vmx/vmx.c vmx_recalc_msr_intercepts() -> vmx_disable_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| PARAM_VALUE | 1 | msr | 16 |
| PARAM_VALUE | 2 | type | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_recalc_msr_intercepts() -> vmx_disable_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| PARAM_VALUE | 1 | msr | 3221225728 |
| PARAM_VALUE | 2 | type | 3 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_recalc_msr_intercepts() -> vmx_disable_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| PARAM_VALUE | 1 | msr | 3221225729 |
| PARAM_VALUE | 2 | type | 3 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_recalc_msr_intercepts() -> vmx_disable_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| PARAM_VALUE | 1 | msr | 3221225730 |
| PARAM_VALUE | 2 | type | 3 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_recalc_msr_intercepts() -> vmx_disable_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| PARAM_VALUE | 1 | msr | 372 |
| PARAM_VALUE | 2 | type | 3 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_recalc_msr_intercepts() -> vmx_disable_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| PARAM_VALUE | 1 | msr | 373 |
| PARAM_VALUE | 2 | type | 3 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_recalc_msr_intercepts() -> vmx_disable_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| PARAM_VALUE | 1 | msr | 374 |
| PARAM_VALUE | 2 | type | 3 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_recalc_msr_intercepts() -> vmx_disable_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| PARAM_VALUE | 1 | msr | 1632 |
| PARAM_VALUE | 2 | type | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_recalc_msr_intercepts() -> vmx_disable_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| PARAM_VALUE | 1 | msr | 1020 |
| PARAM_VALUE | 2 | type | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_recalc_msr_intercepts() -> vmx_disable_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| PARAM_VALUE | 1 | msr | 1021 |
| PARAM_VALUE | 2 | type | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_recalc_msr_intercepts() -> vmx_disable_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| PARAM_VALUE | 1 | msr | 1022 |
| PARAM_VALUE | 2 | type | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_recalc_msr_intercepts() -> vmx_disable_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| PARAM_VALUE | 1 | msr | 232 |
| PARAM_VALUE | 2 | type | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_recalc_msr_intercepts() -> vmx_disable_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| PARAM_VALUE | 1 | msr | 231 |
| PARAM_VALUE | 2 | type | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_recalc_msr_intercepts() -> vmx_disable_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.xfd_no_write_intercept | 1 |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| PARAM_VALUE | 1 | msr | 452 |
| PARAM_VALUE | 2 | type | 3 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_set_msr() -> vmx_disable_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.apic->vcpu->kvm->arch.apicv_update_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | vcpu->arch.apic->vcpu->kvm->arch.apicv_update_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | vcpu->arch.apic->vcpu->run->tpr_access.is_write | 0-1 |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.apicv_update_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | vcpu->kvm->arch.apicv_update_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| PARAM_VALUE | 0 | vcpu->kvm->arch.xen.hvm_config.msr | 1-u32max |
| PARAM_VALUE | 0 | vcpu->run->memory_fault.flags | 0,8 |
| PARAM_VALUE | 0 | vcpu->run->memory_fault.gpa | 0,4096-18446744073709547520 |
| PARAM_VALUE | 0 | vcpu->run->memory_fault.size | 4096 |
| PARAM_VALUE | 1 | msr | 452 |
| PARAM_VALUE | 2 | type | 3 |
| CAPPED_DATA | 0 | vcpu->kvm->arch.xen.hvm_config.msr | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | vcpu->arch.mmu_external_spt_cache.kmem_cache->object_size | |
| NO_OVERFLOW_SIMPLE | 0 | vcpu->arch.mmu_page_header_cache.kmem_cache->object_size | |
| NO_OVERFLOW_SIMPLE | 0 | vcpu->arch.mmu_pte_list_desc_cache.kmem_cache->object_size | |
| NO_OVERFLOW_SIMPLE | 0 | vcpu->arch.mmu_pte_list_desc_cache.kmem_cache->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 0 | vcpu->arch.mmu_shadow_page_cache.kmem_cache->object_size | |
| NO_OVERFLOW_SIMPLE | 0 | vcpu->arch.mmu_shadowed_info_cache.kmem_cache->object_size |
arch/x86/kvm/vmx/vmx.c vmx_set_msr() -> vmx_disable_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| PARAM_VALUE | 1 | msr | 72 |
| PARAM_VALUE | 2 | type | 3 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_update_msr_bitmap_x2apic() -> vmx_disable_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.apic | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| PARAM_VALUE | 1 | msr | 2059 |
| PARAM_VALUE | 2 | type | 2 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_update_msr_bitmap_x2apic() -> vmx_disable_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.apic | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| PARAM_VALUE | 1 | msr | 2111 |
| PARAM_VALUE | 2 | type | 2 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_update_msr_bitmap_x2apic() -> vmx_disable_intercept_for_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.apic | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| PARAM_VALUE | 1 | msr | 2096 |
| PARAM_VALUE | 2 | type | 3 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |