Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/events/core.c x86_pmu_enable() -> match_prev_assignment()

Type Parameter Key Value
PARAM_VALUE 0 event->hw.idx s32min-(-2),0-s32max
PARAM_VALUE 1 cpuc 4096-ptr_max
PARAM_VALUE 1 cpuc->enabled 0
PARAM_VALUE 1 cpuc->event_list 4096-ptr_max
PARAM_VALUE 1 cpuc->n_added s32min-(-1),1-s32max
PARAM_VALUE 2 i 0-s32max
CAPPED_DATA 2 i 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &cpuctx->ctx.lock
HALF_LOCKED2 &ctx->lock

arch/x86/events/core.c x86_pmu_enable() -> match_prev_assignment()

Type Parameter Key Value
PARAM_VALUE 1 cpuc 4096-ptr_max
PARAM_VALUE 1 cpuc->enabled 0
PARAM_VALUE 1 cpuc->event_list 4096-ptr_max
PARAM_VALUE 1 cpuc->n_added s32min-(-1),1-s32max
PARAM_VALUE 1 cpuc->n_events 1-s32max
PARAM_VALUE 2 i 0-s32max
CAPPED_DATA 2 i 1
PARAM_COMPARE 1 cpuc->n_events > $2
PARAM_COMPARE 2 i < $1->n_events
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &cpuctx->ctx.lock
HALF_LOCKED2 &ctx->lock