Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/sh_mobile_lcdcfb.c sh_mobile_lcdc_overlay_pan() -> lcdc_write_overlay()

Type Parameter Key Value
PARAM_VALUE 0 ovl 4096-ptr_max
PARAM_VALUE 0 ovl->channel 4096-ptr_max
PARAM_VALUE 0 ovl->channel->lcdc 4096-ptr_max
PARAM_VALUE 0 ovl->channel->lcdc->base 4096-ptr_max
PARAM_VALUE 0 ovl->format 4096-ptr_max
PARAM_VALUE 0 ovl->format->bpp 12,16,24,32
PARAM_VALUE 0 ovl->pan_y_offset 0-u32max
BUF_SIZE 0 ovl 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 0 ovl 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
FUZZY_MAX 0 ovl->format->bpp 24
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ovl unit_byte
UNITS 2 data unit_byte
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/sh_mobile_lcdcfb.c sh_mobile_lcdc_overlay_pan() -> lcdc_write_overlay()

Type Parameter Key Value
PARAM_VALUE 0 ovl 4096-ptr_max
PARAM_VALUE 0 ovl->channel 4096-ptr_max
PARAM_VALUE 0 ovl->channel->lcdc 4096-ptr_max
PARAM_VALUE 0 ovl->channel->lcdc->base 4096-ptr_max
PARAM_VALUE 0 ovl->format 4096-ptr_max
PARAM_VALUE 0 ovl->format->bpp 12,16,24,32
PARAM_VALUE 0 ovl->pan_y_offset 0-u32max
BUF_SIZE 0 ovl 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 0 ovl 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
FUZZY_MAX 0 ovl->format->bpp 24
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ovl unit_byte
UNITS 2 data unit_byte
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/sh_mobile_lcdcfb.c sh_mobile_lcdc_overlay_setup() -> lcdc_write_overlay()

Type Parameter Key Value
PARAM_VALUE 0 ovl 4096-ptr_max
PARAM_VALUE 0 ovl->channel 4096-ptr_max
PARAM_VALUE 0 ovl->channel->lcdc 4096-ptr_max
PARAM_VALUE 0 ovl->channel->lcdc->base 4096-ptr_max
PARAM_VALUE 0 ovl->enabled 0
PARAM_VALUE 2 data 0
BUF_SIZE 0 ovl (-1),2,4,16,24,32,128,216,248,256,1288,1984,2560
BUF_SIZE 0 ovl (-1),2,4,16,24,32,128,216,248,256,1288,1984,2560
DATA_SOURCE 0 ovl $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ovl->pitch 8-u32max
HOST_DATA 0 ovl->xres 8-u32max[c]
HOST_DATA 0 ovl->xres_virtual 8-u32max
HOST_DATA 0 ovl->yres 8-s32max[c]
USER_DATA 0 ovl->enabled 0
NO_OVERFLOW_SIMPLE 0 ovl->pitch
NO_OVERFLOW_SIMPLE 0 ovl->xres
NO_OVERFLOW_SIMPLE 0 ovl->xres_virtual
NO_OVERFLOW_SIMPLE 0 ovl->yres
NO_OVERFLOW_SIMPLE 0 ovl->yres_virtual
UNITS 0 ovl unit_byte

drivers/video/fbdev/sh_mobile_lcdcfb.c sh_mobile_lcdc_overlay_setup() -> lcdc_write_overlay()

Type Parameter Key Value
PARAM_VALUE 0 ovl 4096-ptr_max
PARAM_VALUE 0 ovl->channel 4096-ptr_max
PARAM_VALUE 0 ovl->channel->lcdc 4096-ptr_max
PARAM_VALUE 0 ovl->channel->lcdc->base 4096-ptr_max
PARAM_VALUE 0 ovl->enabled 1
PARAM_VALUE 0 ovl->format 4096-ptr_max
PARAM_VALUE 0 ovl->format->fourcc 825382478,825644622,842094158,842290766,861030210,875714126,877807426,909203022,1346520914
BUF_SIZE 0 ovl (-1),2,4,16,24,32,128,216,248,256,1288,1984,2560
BUF_SIZE 0 ovl (-1),2,4,16,24,32,128,216,248,256,1288,1984,2560
DATA_SOURCE 0 ovl $0
BIT_INFO 2 data 0x400,0xffff478b
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ovl->pitch 8-u32max
HOST_DATA 0 ovl->xres 8-u32max[c]
HOST_DATA 0 ovl->xres_virtual 8-u32max
HOST_DATA 0 ovl->yres 8-s32max[c]
USER_DATA 0 ovl->alpha 0-255
USER_DATA 0 ovl->enabled 1
USER_DATA 0 ovl->mode 0
USER_DATA 0 ovl->pos_x s32min-s32max
USER_DATA 0 ovl->pos_y s32min-s32max
USER_DATA 0 ovl->rop3 0-255
USER_DATA 2 data 2147485184-2147485186,2147485315,2147485440-2147485442,21474855
NO_OVERFLOW_SIMPLE 0 ovl->pitch
NO_OVERFLOW_SIMPLE 0 ovl->xres
NO_OVERFLOW_SIMPLE 0 ovl->xres_virtual
NO_OVERFLOW_SIMPLE 0 ovl->yres
NO_OVERFLOW_SIMPLE 0 ovl->yres_virtual
UNITS 0 ovl unit_byte
HALF_LOCKED2 &of->mutex

drivers/video/fbdev/sh_mobile_lcdcfb.c sh_mobile_lcdc_overlay_setup() -> lcdc_write_overlay()

Type Parameter Key Value
PARAM_VALUE 0 ovl 4096-ptr_max
PARAM_VALUE 0 ovl->channel 4096-ptr_max
PARAM_VALUE 0 ovl->channel->lcdc 4096-ptr_max
PARAM_VALUE 0 ovl->channel->lcdc->base 4096-ptr_max
PARAM_VALUE 0 ovl->enabled 1
PARAM_VALUE 0 ovl->format 4096-ptr_max
PARAM_VALUE 0 ovl->format->fourcc 825382478,825644622,842094158,842290766,861030210,875714126,877807426,909203022,1346520914
PARAM_VALUE 2 data 0-u32max
BUF_SIZE 0 ovl (-1),2,4,16,24,32,128,216,248,256,1288,1984,2560
BUF_SIZE 0 ovl (-1),2,4,16,24,32,128,216,248,256,1288,1984,2560
DATA_SOURCE 0 ovl $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ovl->pitch 8-u32max
HOST_DATA 0 ovl->xres 8-u32max[c]
HOST_DATA 0 ovl->xres_virtual 8-u32max
HOST_DATA 0 ovl->yres 8-s32max[c]
HOST_DATA 2 data 0-u32max[c]
USER_DATA 0 ovl->alpha 0-255
USER_DATA 0 ovl->enabled 1
USER_DATA 0 ovl->mode 0
USER_DATA 0 ovl->pos_x s32min-s32max
USER_DATA 0 ovl->pos_y s32min-s32max
USER_DATA 0 ovl->rop3 0-255
NO_OVERFLOW_SIMPLE 0 ovl->pitch
NO_OVERFLOW_SIMPLE 0 ovl->xres
NO_OVERFLOW_SIMPLE 0 ovl->xres_virtual
NO_OVERFLOW_SIMPLE 0 ovl->yres
NO_OVERFLOW_SIMPLE 0 ovl->yres_virtual
UNITS 0 ovl unit_byte
HALF_LOCKED2 &of->mutex

drivers/video/fbdev/sh_mobile_lcdcfb.c sh_mobile_lcdc_overlay_setup() -> lcdc_write_overlay()

Type Parameter Key Value
PARAM_VALUE 0 ovl 4096-ptr_max
PARAM_VALUE 0 ovl->channel 4096-ptr_max
PARAM_VALUE 0 ovl->channel->lcdc 4096-ptr_max
PARAM_VALUE 0 ovl->channel->lcdc->base 4096-ptr_max
PARAM_VALUE 0 ovl->enabled 1
PARAM_VALUE 0 ovl->format 4096-ptr_max
PARAM_VALUE 0 ovl->format->fourcc 825382478,825644622,842094158,842290766,861030210,875714126,877807426,909203022,1346520914
PARAM_VALUE 2 data 0-s32max,18446744071562067968-u64max
BUF_SIZE 0 ovl (-1),2,4,16,24,32,128,216,248,256,1288,1984,2560
BUF_SIZE 0 ovl (-1),2,4,16,24,32,128,216,248,256,1288,1984,2560
DATA_SOURCE 0 ovl $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ovl->pitch 8-u32max
HOST_DATA 0 ovl->xres 8-u32max[c]
HOST_DATA 0 ovl->xres_virtual 8-u32max
HOST_DATA 0 ovl->yres 8-s32max[c]
USER_DATA 0 ovl->alpha 0-255
USER_DATA 0 ovl->enabled 1
USER_DATA 0 ovl->mode 0
USER_DATA 0 ovl->pos_x s32min-s32max
USER_DATA 0 ovl->pos_y s32min-s32max
USER_DATA 0 ovl->rop3 0-255
USER_DATA 2 data 0-s32max,18446744071562067968-u64max
NO_OVERFLOW_SIMPLE 0 ovl->pitch
NO_OVERFLOW_SIMPLE 0 ovl->xres
NO_OVERFLOW_SIMPLE 0 ovl->xres_virtual
NO_OVERFLOW_SIMPLE 0 ovl->yres
NO_OVERFLOW_SIMPLE 0 ovl->yres_virtual
UNITS 0 ovl unit_byte
HALF_LOCKED2 &of->mutex

drivers/video/fbdev/sh_mobile_lcdcfb.c sh_mobile_lcdc_overlay_setup() -> lcdc_write_overlay()

Type Parameter Key Value
PARAM_VALUE 0 ovl 4096-ptr_max
PARAM_VALUE 0 ovl->channel 4096-ptr_max
PARAM_VALUE 0 ovl->channel->lcdc 4096-ptr_max
PARAM_VALUE 0 ovl->channel->lcdc->base 4096-ptr_max
PARAM_VALUE 0 ovl->enabled 1
PARAM_VALUE 0 ovl->format 4096-ptr_max
PARAM_VALUE 0 ovl->format->fourcc 825382478,825644622,842094158,842290766,861030210,875714126,877807426,909203022,1346520914
PARAM_VALUE 2 data 0-u32max
BUF_SIZE 0 ovl (-1),2,4,16,24,32,128,216,248,256,1288,1984,2560
BUF_SIZE 0 ovl (-1),2,4,16,24,32,128,216,248,256,1288,1984,2560
DATA_SOURCE 0 ovl $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ovl->pitch 8-u32max
HOST_DATA 0 ovl->xres 8-u32max[c]
HOST_DATA 0 ovl->xres_virtual 8-u32max
HOST_DATA 0 ovl->yres 8-s32max[c]
HOST_DATA 2 data 8-u32max
USER_DATA 0 ovl->alpha 0-255
USER_DATA 0 ovl->enabled 1
USER_DATA 0 ovl->mode 0
USER_DATA 0 ovl->pos_x s32min-s32max
USER_DATA 0 ovl->pos_y s32min-s32max
USER_DATA 0 ovl->rop3 0-255
NO_OVERFLOW_SIMPLE 0 ovl->pitch
NO_OVERFLOW_SIMPLE 0 ovl->xres
NO_OVERFLOW_SIMPLE 0 ovl->xres_virtual
NO_OVERFLOW_SIMPLE 0 ovl->yres
NO_OVERFLOW_SIMPLE 0 ovl->yres_virtual
UNITS 0 ovl unit_byte
HALF_LOCKED2 &of->mutex

drivers/video/fbdev/sh_mobile_lcdcfb.c sh_mobile_lcdc_overlay_setup() -> lcdc_write_overlay()

Type Parameter Key Value
PARAM_VALUE 0 ovl 4096-ptr_max
PARAM_VALUE 0 ovl->channel 4096-ptr_max
PARAM_VALUE 0 ovl->channel->lcdc 4096-ptr_max
PARAM_VALUE 0 ovl->channel->lcdc->base 4096-ptr_max
PARAM_VALUE 0 ovl->enabled 1
PARAM_VALUE 0 ovl->format 4096-ptr_max
PARAM_VALUE 0 ovl->format->fourcc 825382478,825644622,842094158,842290766,861030210,875714126,877807426,909203022,1346520914
BUF_SIZE 0 ovl (-1),2,4,16,24,32,128,216,248,256,1288,1984,2560
BUF_SIZE 0 ovl (-1),2,4,16,24,32,128,216,248,256,1288,1984,2560
DATA_SOURCE 0 ovl $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ovl->pitch 8-u32max
HOST_DATA 0 ovl->xres 8-u32max[c]
HOST_DATA 0 ovl->xres_virtual 8-u32max
HOST_DATA 0 ovl->yres 8-s32max[c]
USER_DATA 0 ovl->alpha 0-255
USER_DATA 0 ovl->enabled 1
USER_DATA 0 ovl->mode 0
USER_DATA 0 ovl->pos_x s32min-s32max
USER_DATA 0 ovl->pos_y s32min-s32max
USER_DATA 0 ovl->rop3 0-255
NO_OVERFLOW_SIMPLE 0 ovl->pitch
NO_OVERFLOW_SIMPLE 0 ovl->xres
NO_OVERFLOW_SIMPLE 0 ovl->xres_virtual
NO_OVERFLOW_SIMPLE 0 ovl->yres
NO_OVERFLOW_SIMPLE 0 ovl->yres_virtual
UNITS 0 ovl unit_byte
UNITS 2 data unit_byte
HALF_LOCKED2 &of->mutex

drivers/video/fbdev/sh_mobile_lcdcfb.c sh_mobile_lcdc_overlay_setup() -> lcdc_write_overlay()

Type Parameter Key Value
PARAM_VALUE 0 ovl 4096-ptr_max
PARAM_VALUE 0 ovl->channel 4096-ptr_max
PARAM_VALUE 0 ovl->channel->lcdc 4096-ptr_max
PARAM_VALUE 0 ovl->channel->lcdc->base 4096-ptr_max
PARAM_VALUE 0 ovl->enabled 1
PARAM_VALUE 0 ovl->format 4096-ptr_max
PARAM_VALUE 0 ovl->format->fourcc 825382478,825644622,842094158,842290766,861030210,875714126,877807426,909203022,1346520914
BUF_SIZE 0 ovl (-1),2,4,16,24,32,128,216,248,256,1288,1984,2560
BUF_SIZE 0 ovl (-1),2,4,16,24,32,128,216,248,256,1288,1984,2560
DATA_SOURCE 0 ovl $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ovl->pitch 8-u32max
HOST_DATA 0 ovl->xres 8-u32max[c]
HOST_DATA 0 ovl->xres_virtual 8-u32max
HOST_DATA 0 ovl->yres 8-s32max[c]
USER_DATA 0 ovl->alpha 0-255
USER_DATA 0 ovl->enabled 1
USER_DATA 0 ovl->mode 0
USER_DATA 0 ovl->pos_x s32min-s32max
USER_DATA 0 ovl->pos_y s32min-s32max
USER_DATA 0 ovl->rop3 0-255
NO_OVERFLOW_SIMPLE 0 ovl->pitch
NO_OVERFLOW_SIMPLE 0 ovl->xres
NO_OVERFLOW_SIMPLE 0 ovl->xres_virtual
NO_OVERFLOW_SIMPLE 0 ovl->yres
NO_OVERFLOW_SIMPLE 0 ovl->yres_virtual
UNITS 0 ovl unit_byte
UNITS 2 data unit_byte
HALF_LOCKED2 &of->mutex