Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/mmp/fb/mmpfb.c mmpfb_probe() -> fb_info_setup()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->bl_curve_mutex.dep_map->name 0-255
PARAM_VALUE 0 info->bl_curve_mutex.first_waiter 0
PARAM_VALUE 0 info->bl_curve_mutex.magic 4096-ptr_max
PARAM_VALUE 0 info->bl_curve_mutex.osq.tail.counter 0
PARAM_VALUE 0 info->bl_curve_mutex.owner.counter 0
PARAM_VALUE 0 info->blank 0
PARAM_VALUE 0 info->device 4096-ptr_max
PARAM_VALUE 0 info->fbcon_rotate_hint (-1)
PARAM_VALUE 0 info->par 4096-ptr_max
PARAM_VALUE 0 info->var.bits_per_pixel 8,12,16,24,32
PARAM_VALUE 0 info->var.blue.length 2,4-5,8,16
PARAM_VALUE 0 info->var.blue.offset 0,2,4,8,11,16
PARAM_VALUE 0 info->var.green.length 2,4,6,8,16
PARAM_VALUE 0 info->var.green.offset 0,2,4-5,8
PARAM_VALUE 0 info->var.red.length 5,8,16
PARAM_VALUE 0 info->var.red.offset 0,4,8,11,16
PARAM_VALUE 0 info->var.transp.length 0,8
PARAM_VALUE 0 info->var.transp.offset 0,24
PARAM_VALUE 1 fbi 4096-ptr_max
PARAM_VALUE 1 fbi->access_ok.dep_map->name 0-255
PARAM_VALUE 1 fbi->access_ok.first_waiter 0
PARAM_VALUE 1 fbi->access_ok.magic 4096-ptr_max
PARAM_VALUE 1 fbi->access_ok.osq.tail.counter 0
PARAM_VALUE 1 fbi->access_ok.owner.counter 0
PARAM_VALUE 1 fbi->dev 4096-ptr_max
PARAM_VALUE 1 fbi->dev->bus 0,4096-ptr_max
PARAM_VALUE 1 fbi->dev->class 0,4096-ptr_max
PARAM_VALUE 1 fbi->dev->driver 0,4096-ptr_max
PARAM_VALUE 1 fbi->dev->driver_data 4096-ptr_max
PARAM_VALUE 1 fbi->dev->platform_data 4096-ptr_max
PARAM_VALUE 1 fbi->fb_info 4096-ptr_max
PARAM_VALUE 1 fbi->fb_info->bl_curve_mutex.magic 4096-ptr_max
PARAM_VALUE 1 fbi->fb_info->blank 0
PARAM_VALUE 1 fbi->fb_info->device 4096-ptr_max
PARAM_VALUE 1 fbi->fb_info->fbcon_rotate_hint (-1)
PARAM_VALUE 1 fbi->fb_info->par 4096-ptr_max
PARAM_VALUE 1 fbi->fb_start 1-ptr_max
PARAM_VALUE 1 fbi->overlay 4096-ptr_max
PARAM_VALUE 1 fbi->overlay->status 0-1
PARAM_VALUE 1 fbi->path 4096-ptr_max
PARAM_VALUE 1 fbi->path->overlay_num (-2147483647)-s32max
PARAM_VALUE 1 fbi->path->panel 0,4096-ptr_max
BUF_SIZE 0 info s32min-s32max
BUF_SIZE 0 info->device 1616
BUF_SIZE 1 fbi 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 1 fbi 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 1 fbi->dev 1616
BUF_SIZE 1 fbi->fb_info s32min-s32max
BUF_SIZE 1 fbi->fb_start 0-s32max,18446744071562067968-u64max
CAPPED_DATA 1 fbi->path->overlay_num 1
DATA_SOURCE 0 info r framebuffer_alloc
MEM_ZERO 1 fbi->fb_start
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 fbi->overlay->path->panel->plat_data->spi->controller->dev.driver_data->para 0-255
UNITS 1 fbi unit_byte