Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/dma/idxd/perfmon.c perfmon_pmu_event_init() -> perfmon_validate_group()

Type Parameter Key Value
PARAM_VALUE 1 event 4096-ptr_max
PARAM_VALUE 1 event->attr.sample_period 0
PARAM_VALUE 1 event->cpu 0-s32max
PARAM_VALUE 1 event->hw.idx (-1)
PARAM_VALUE 1 event->parent 0,4096-ptr_max
PARAM_VALUE 1 event->pmu 4096-ptr_max
PARAM_VALUE 1 event->pmu->module 0,4096-ptr_max
CAPPED_DATA 0 &pmu->pmu 1
CAPPED_DATA 1 event 1
CAPPED_DATA 1 event->attr.type 1
CAPPED_DATA 1 event->pmu 1
CAPPED_DATA 1 event->pmu->type 1
DATA_SOURCE 1 event $0
FUZZY_MAX 1 event->cpu 0
PARAM_COMPARE 0 &pmu->pmu == $1->pmu
PARAM_COMPARE 1 event != $1->group_leader
PARAM_COMPARE 1 event != $1->group_leader
PARAM_COMPARE 1 event->attr.type == $1->pmu->type
HOST_DATA 1 event->hw.event_base 0-u64max
UNITS 1 event unit_byte
LOCK2 _T->lock
HALF_LOCKED2 1 &event->group_leader->ctx->mutex