Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/events/core.c __free_event() -> put_pmu_ctx()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
BUF_SIZE 0 epc (-1),112
BUF_SIZE 0 epc (-1),112
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/events/core.c __perf_pmu_remove() -> put_pmu_ctx()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &ali_drw_pmu_irqs_lock
HALF_LOCKED2 global &dmc620_pmu_node_lock
HALF_LOCKED2 global &pmus_lock

kernel/events/core.c __perf_pmu_remove() -> put_pmu_ctx()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &ali_drw_pmu_irqs_lock
HALF_LOCKED2 global &dmc620_pmu_node_lock
HALF_LOCKED2 global &pmus_lock

kernel/events/core.c __pmu_detach_event() -> put_pmu_ctx()

Type Parameter Key Value
PARAM_VALUE 0 epc 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock

kernel/events/core.c perf_event_create_kernel_counter() -> put_pmu_ctx()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->ctx 1-u64max
BUF_SIZE 0 epc (-1),112
BUF_SIZE 0 epc (-1),112
CAPPED_DATA 0 epc->ctx 1
DATA_SOURCE 0 epc r find_get_pmu_context
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ctx->mutex
LOCK2 _T->lock
TYPE_LOCK (struct perf_event_context)->mutex

kernel/events/core.c perf_pmu_free() -> put_pmu_ctx()

Type Parameter Key Value
PARAM_VALUE 0 epc 4096-ptr_max
PARAM_VALUE 0 epc->embedded 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock