Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/ocfb.c ocfb_probe() -> ocfb_init_fix()

Type Parameter Key Value
PARAM_VALUE 0 fbdev 4096-ptr_max
PARAM_VALUE 0 fbdev->info.device 4096-ptr_max
PARAM_VALUE 0 fbdev->info.device->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 fbdev->info.device->driver_data 4096-ptr_max
PARAM_VALUE 0 fbdev->info.fbops 4931502361934098432
PARAM_VALUE 0 fbdev->info.par 4096-ptr_max
PARAM_VALUE 0 fbdev->info.var.accel_flags 0
PARAM_VALUE 0 fbdev->info.var.activate 0
PARAM_VALUE 0 fbdev->info.var.bits_per_pixel 0,8,16,24,32
PARAM_VALUE 0 fbdev->info.var.blue.length 5,8
PARAM_VALUE 0 fbdev->info.var.blue.offset 0
PARAM_VALUE 0 fbdev->info.var.green.length 6,8
PARAM_VALUE 0 fbdev->info.var.green.offset 0,5,8
PARAM_VALUE 0 fbdev->info.var.hsync_len 0
PARAM_VALUE 0 fbdev->info.var.left_margin 0
PARAM_VALUE 0 fbdev->info.var.lower_margin 0
PARAM_VALUE 0 fbdev->info.var.pixclock 0
PARAM_VALUE 0 fbdev->info.var.red.length 5,8
PARAM_VALUE 0 fbdev->info.var.red.offset 0,11,16
PARAM_VALUE 0 fbdev->info.var.right_margin 0
PARAM_VALUE 0 fbdev->info.var.sync 0
PARAM_VALUE 0 fbdev->info.var.transp.length 0,8
PARAM_VALUE 0 fbdev->info.var.transp.offset 0,24
PARAM_VALUE 0 fbdev->info.var.upper_margin 0
PARAM_VALUE 0 fbdev->info.var.vmode 0
PARAM_VALUE 0 fbdev->info.var.vsync_len 0
PARAM_VALUE 0 fbdev->info.var.xoffset 0
PARAM_VALUE 0 fbdev->info.var.xres 0
PARAM_VALUE 0 fbdev->info.var.xres_virtual 0
PARAM_VALUE 0 fbdev->info.var.yoffset 0
PARAM_VALUE 0 fbdev->info.var.yres 0
PARAM_VALUE 0 fbdev->info.var.yres_virtual 0
BUF_SIZE 0 fbdev 2560
BUF_SIZE 0 fbdev->info.device 1616
BUF_SIZE 0 fbdev->info.fbops 168
BUF_SIZE 0 fbdev->info.par 2560
DATA_SOURCE 0 fbdev r devm_kzalloc
FUZZY_MAX 0 fbdev->info.var.bits_per_pixel 0
MEM_ZERO 0 fbdev
MEM_ZERO 0 fbdev->info.var.reserved
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL