Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/devfreq/event/rockchip-dfi.c rockchip_ddr_perf_event_add() -> rockchip_dfi_read_counters()

Type Parameter Key Value
PARAM_VALUE 0 dfi 4096-ptr_max
PARAM_VALUE 1 res 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &cpuctx->ctx.lock

drivers/devfreq/event/rockchip-dfi.c rockchip_ddr_perf_event_get_count() -> rockchip_dfi_read_counters()

Type Parameter Key Value
PARAM_VALUE 0 dfi 4096-ptr_max
PARAM_VALUE 1 res 3774468040124678144
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &event->child_mutex

drivers/devfreq/event/rockchip-dfi.c rockchip_dfi_get_event() -> rockchip_dfi_read_counters()

Type Parameter Key Value
PARAM_VALUE 1 res 7212363143337189376
BUF_SIZE 0 dfi 64,1296
BUF_SIZE 0 dfi 64,1296
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &df->lock
LOCK2 &edev->lock
TYPE_LOCK (struct devfreq)->lock
TYPE_LOCK (struct devfreq_event_dev)->lock

drivers/devfreq/event/rockchip-dfi.c rockchip_dfi_timer() -> rockchip_dfi_read_counters()

Type Parameter Key Value
PARAM_VALUE 0 dfi 4096-ptr_max
PARAM_VALUE 1 res 1971988340584574976
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq