Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kvm/pmu.c kvm_pmu_request_counters_reprogram() -> __kvm_pmu_reprogram_counters()

Type Parameter Key Value
PARAM_VALUE 0 pmu 4096-ptr_max
PARAM_VALUE 2 defer 1
BUF_SIZE 0 pmu 912
DATA_SOURCE 0 pmu $0
DATA_SOURCE 1 counters $1
NOCHECK_CALL

arch/x86/kvm/vmx/pmu_intel.c kvm_pmu_request_counters_reprogram() -> __kvm_pmu_reprogram_counters()

Type Parameter Key Value
PARAM_VALUE 0 pmu 4096-ptr_max
PARAM_VALUE 2 defer 1
BUF_SIZE 0 pmu 912
DATA_SOURCE 0 pmu $0
DATA_SOURCE 1 counters $1
NOCHECK_CALL

arch/x86/kvm/svm/svm.c __svm_pmu_handle_nested_transition() -> __kvm_pmu_reprogram_counters()

Type Parameter Key Value
PARAM_VALUE 0 pmu 4096-ptr_max
PARAM_VALUE 0 pmu->pmc_has_mode_specific_enables 4096-ptr_max
PARAM_VALUE 2 defer 0
BUF_SIZE 0 pmu 912
DATA_SOURCE 2 defer $1
NOCHECK_CALL

arch/x86/kvm/svm/nested.c __svm_pmu_handle_nested_transition() -> __kvm_pmu_reprogram_counters()

Type Parameter Key Value
PARAM_VALUE 0 pmu 4096-ptr_max
PARAM_VALUE 0 pmu->pmc_has_mode_specific_enables 4096-ptr_max
BUF_SIZE 0 pmu 912
DATA_SOURCE 2 defer $1
NOCHECK_CALL