Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/sh_mobile_lcdcfb.c sh_mobile_lcdc_blank() -> sh_mobile_lcdc_wait_for_vsync()

Type Parameter Key Value
PARAM_VALUE 0 ch 4096-ptr_max
PARAM_VALUE 0 ch->blank_status s32min-1
PARAM_VALUE 0 ch->lcdc->dev->power.wakeirq->status 0-4294967295
BUF_SIZE 0 ch 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 0 ch 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ch unit_byte
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/sh_mobile_lcdcfb.c sh_mobile_lcdc_blank() -> sh_mobile_lcdc_wait_for_vsync()

Type Parameter Key Value
PARAM_VALUE 0 ch 4096-ptr_max
PARAM_VALUE 0 ch->blank_status s32min-1
PARAM_VALUE 0 ch->lcdc 4096-ptr_max
PARAM_VALUE 0 ch->lcdc->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ch->vsync_completion.done 0-4294967293,u32max
PARAM_VALUE 0 ch->vsync_completion.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 ch->vsync_completion.wait.lock.owner (-1)
PARAM_VALUE 0 ch->vsync_completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 ch->vsync_completion.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ch->vsync_completion.wait.task_list.prev->next->next 4096-ptr_max
BUF_SIZE 0 ch 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 0 ch 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ch unit_byte
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/sh_mobile_lcdcfb.c sh_mobile_lcdc_ioctl() -> sh_mobile_lcdc_wait_for_vsync()

Type Parameter Key Value
BUF_SIZE 0 ch 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 0 ch 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
UNITS 0 ch unit_byte
LOCK2 &info->lock
TYPE_LOCK (struct fb_info)->lock

drivers/video/fbdev/sh_mobile_lcdcfb.c sh_mobile_lcdc_overlay_ioctl() -> sh_mobile_lcdc_wait_for_vsync()

Type Parameter Key Value
LOCK2 &info->lock
TYPE_LOCK (struct fb_info)->lock