Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kvm/vmx/pmu_intel.c intel_pmu_deliver_pmi() -> intel_pmu_lbr_is_enabled()

Type Parameter Key Value
DATA_SOURCE 0 vcpu $0

arch/x86/kvm/vmx/pmu_intel.c intel_pmu_is_valid_lbr_msr() -> intel_pmu_lbr_is_enabled()

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
PARAM_VALUE 0 vcpu->kvm 4096-ptr_max
DATA_SOURCE 0 vcpu $0

arch/x86/kvm/vmx/vmx.c vmx_get_supported_debugctl() -> intel_pmu_lbr_is_enabled()

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
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
USER_PTR 0 vcpu->arch.pdptrs

arch/x86/kvm/vmx/vmx.c vmx_set_msr() -> intel_pmu_lbr_is_enabled()

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
DATA_SOURCE 0 vcpu $0

arch/x86/kvm/vmx/vmx.c vmx_vcpu_run() -> intel_pmu_lbr_is_enabled()

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
DATA_SOURCE 0 vcpu $0