Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/pmu.c kvm_init_pmu_capability() -> (struct kvm_pmu_ops)->is_mediated_pmu_supported()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host_pmu | 2797161106168111104 |
| PARAM_VALUE | 0 | host_pmu->bit_width_fixed | 0-255 |
| PARAM_VALUE | 0 | host_pmu->bit_width_gp | 0-255 |
| PARAM_VALUE | 0 | host_pmu->events_mask | 0 |
| PARAM_VALUE | 0 | host_pmu->events_mask_len | 0,6-255 |
| PARAM_VALUE | 0 | host_pmu->mediated | 1 |
| PARAM_VALUE | 0 | host_pmu->num_counters_fixed | 0-64 |
| PARAM_VALUE | 0 | host_pmu->num_counters_gp | 1-64 |
| PARAM_VALUE | 0 | host_pmu->version | 0-255 |
| LOCK2 | _T->lock |