Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/x86.c kvm_x86_vendor_init() -> kvm_ops_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ops | 3289195617611317248,4309209593081790464 |
| PARAM_VALUE | 0 | ops->pmu_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ops->pmu_ops->MAX_NR_GP_COUNTERS | 0,6,8 |
| PARAM_VALUE | 0 | ops->pmu_ops->MIN_NR_GP_COUNTERS | 0-1,4 |
| PARAM_VALUE | 0 | ops->pmu_ops->write_global_ctrl | 0,8696396980116738048 |
| CAPPED_DATA | 0 | ops->pmu_ops->MIN_NR_GP_COUNTERS | 1 |
| DATA_SOURCE | 0 | ops | $0 |
| NOCHECK_CALL | |||
| LOCK2 | _T->lock |