Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/imxfb.c imxfb_blank() -> imxfb_enable_controller()

Type Parameter Key Value
BUF_SIZE 0 fbi 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 0 fbi 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
RX_PATH
TASK_NOT_RUNNING
UNITS 0 fbi unit_byte
LOCK2 global &console_sem
HALF_LOCKED2 &info->lock

drivers/video/fbdev/imxfb.c imxfb_probe() -> imxfb_enable_controller()

Type Parameter Key Value
PARAM_VALUE 0 fbi 4096-ptr_max
PARAM_VALUE 0 fbi->clk_ahb 0,4096-ptr_max
PARAM_VALUE 0 fbi->clk_ipg 0,4096-ptr_max
PARAM_VALUE 0 fbi->clk_ipg->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 fbi->clk_ipg->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 fbi->clk_ipg->core->dev->power.request 0-4
PARAM_VALUE 0 fbi->clk_ipg->core->dev->power.request_pending 0-1
PARAM_VALUE 0 fbi->clk_ipg->core->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 fbi->clk_ipg->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 fbi->clk_ipg->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 fbi->clk_ipg->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 fbi->clk_ipg->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 fbi->clk_ipg->core->enable_count 0-4294967295
PARAM_VALUE 0 fbi->clk_ipg->core->parent->dev->power.deferred_resume 0-1
PARAM_VALUE 0 fbi->clk_ipg->core->parent->dev->power.idle_notification 0-1
PARAM_VALUE 0 fbi->clk_ipg->core->parent->dev->power.request 0-4294967295
PARAM_VALUE 0 fbi->clk_ipg->core->parent->dev->power.request_pending 0-1
PARAM_VALUE 0 fbi->clk_ipg->core->parent->dev->power.runtime_error s32min-s32max
PARAM_VALUE 0 fbi->clk_ipg->core->parent->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 fbi->clk_ipg->core->parent->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 fbi->clk_ipg->core->parent->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 fbi->clk_ipg->core->parent->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 fbi->clk_ipg->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 fbi->clk_ipg->core->parent->prepare_count 0-4294967295
PARAM_VALUE 0 fbi->clk_ipg->core->parent->protect_count 0-4294967295
PARAM_VALUE 0 fbi->clk_ipg->core->prepare_count 0-4294967295
PARAM_VALUE 0 fbi->clk_ipg->core->protect_count 0-4294967295
PARAM_VALUE 0 fbi->clk_per 0,4096-ptr_max
PARAM_VALUE 0 fbi->lcd_pwr 4096-18446744073709551098,(-516)-(-1)
PARAM_VALUE 0 fbi->map_size 0,4096-u32max
PARAM_VALUE 0 fbi->mode 4096-ptr_max
PARAM_VALUE 0 fbi->mode->bpp 1-255
PARAM_VALUE 0 fbi->mode->mode.flag 0
PARAM_VALUE 0 fbi->mode->mode.name 0
PARAM_VALUE 0 fbi->mode->mode.pixclock 0,232-1000000000
PARAM_VALUE 0 fbi->mode->mode.refresh 0
PARAM_VALUE 0 fbi->mode->mode.sync 0-3
PARAM_VALUE 0 fbi->mode->mode.vmode 0-3
PARAM_VALUE 0 fbi->num_modes 1
PARAM_VALUE 0 fbi->regs 4096-ptr_max
BUF_SIZE 0 fbi 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 0 fbi 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 0 fbi->clk_ahb (-1),1-s32max
BUF_SIZE 0 fbi->clk_ipg (-1),1-s32max
BUF_SIZE 0 fbi->clk_per (-1),1-s32max
BUF_SIZE 0 fbi->lcd_pwr s32min,(-1)-s32max
BUF_SIZE 0 fbi->mode 72
CAPPED_DATA 0 fbi->map_size 1
BIT_INFO 0 fbi->map_size 0x0,0xfffff000
MEM_ZERO 0 fbi->mode
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 fbi unit_byte

drivers/video/fbdev/imxfb.c imxfb_resume() -> imxfb_enable_controller()

Type Parameter Key Value
BUF_SIZE 0 fbi 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 0 fbi 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 fbi unit_byte