Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/gpu/drm/omapdrm/dss/dispc.c dispc_dump_clocks_channel() -> dispc_mgr_get_lcd_divisor()

Type Parameter Key Value
PARAM_VALUE 0 dispc 4096-ptr_max
PARAM_VALUE 0 dispc->dss 4096-ptr_max
PARAM_VALUE 0 dispc->dss->dispc_clk_source 0-7
PARAM_VALUE 0 dispc->dss->feat 4096-ptr_max
PARAM_VALUE 0 dispc->dss->feat->has_lcd_clk_src 0-1
PARAM_VALUE 0 dispc->feat 4096-ptr_max
PARAM_VALUE 0 dispc->pdev 4096-ptr_max
PARAM_VALUE 0 dispc->pdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 dispc->pdev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 dispc->pdev->dev.power.request 0-4
PARAM_VALUE 0 dispc->pdev->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dispc->pdev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dispc->pdev->dev.type 0,4096-ptr_max
PARAM_VALUE 1 channel 0,2-3
PARAM_VALUE 2 lck_div 6756054765139779584
PARAM_VALUE 3 pck_div 2639308069362028544
CAPPED_DATA 0 dispc->feat->num_features 1
DATA_SOURCE 0 dispc $0
DATA_SOURCE 1 channel $2
HARD_MAX 1 channel 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &s->lock
TYPE_LOCK (struct seq_file)->lock