Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/vmx/pmu_intel.c intel_is_valid_msr() -> get_fixed_pmc()

Type Parameter Key Value
PARAM_VALUE 0 pmu 4096-ptr_max
PARAM_VALUE 1 msr 0-908,910-1008,1011-1535,1537-u32max
BUF_SIZE 0 pmu 912
DATA_SOURCE 1 msr $1

arch/x86/kvm/vmx/pmu_intel.c intel_msr_idx_to_pmc() -> get_fixed_pmc()

Type Parameter Key Value
PARAM_VALUE 0 pmu 4096-ptr_max
BUF_SIZE 0 pmu 912
DATA_SOURCE 1 msr $1

arch/x86/kvm/vmx/pmu_intel.c intel_pmu_get_msr() -> get_fixed_pmc()

Type Parameter Key Value
PARAM_VALUE 0 pmu 4096-ptr_max
PARAM_VALUE 1 msr 0-908,910-1008,1011-1535,1537-u32max
BUF_SIZE 0 pmu 912
CAPPED_DATA 1 msr 1

arch/x86/kvm/vmx/pmu_intel.c intel_pmu_set_msr() -> get_fixed_pmc()

Type Parameter Key Value
PARAM_VALUE 0 pmu 4096-ptr_max
PARAM_VALUE 1 msr 0-908,910-1008,1011-1535,1537-u32max
BUF_SIZE 0 pmu 912
CAPPED_DATA 1 msr 1

arch/x86/kvm/vmx/pmu_intel.c reprogram_fixed_counters() -> get_fixed_pmc()

Type Parameter Key Value
PARAM_VALUE 0 pmu 4096-ptr_max
PARAM_VALUE 0 pmu->nr_arch_fixed_counters 1-u32max
BUF_SIZE 0 pmu 912
CAPPED_DATA 1 msr 1
DATA_SOURCE 0 pmu $0