Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/sm501fb.c sm501fb_probe() -> sm501_free_init_fb()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->dev 4096-ptr_max
PARAM_VALUE 0 info->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 info->dev->class 0,4096-ptr_max
PARAM_VALUE 0 info->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 info->fb 4096-ptr_max
PARAM_VALUE 0 info->fbmem 0
PARAM_VALUE 0 info->fbmem_res 0,4096-ptr_max
PARAM_VALUE 0 info->fbmem_res->parent 4096-ptr_max
PARAM_VALUE 0 info->fbmem_res->parent->child 4096-ptr_max
PARAM_VALUE 0 info->fbmem_res->sibling 0,4096-ptr_max
PARAM_VALUE 0 info->fbmem_res->sibling->start 1-u64max
PARAM_VALUE 0 info->irq (-4095)-(-1),1-s32max
PARAM_VALUE 0 info->pdata 4096-ptr_max
PARAM_VALUE 0 info->pdata->fb_crt 4096-ptr_max
PARAM_VALUE 0 info->pdata->fb_pnl 4096-ptr_max
PARAM_VALUE 0 info->regs 0
PARAM_VALUE 0 info->regs2d 0
PARAM_VALUE 0 info->regs2d_res 0,4096-ptr_max
PARAM_VALUE 0 info->regs2d_res->parent 4096-ptr_max
PARAM_VALUE 0 info->regs2d_res->parent->child 4096-ptr_max
PARAM_VALUE 0 info->regs2d_res->sibling 0,4096-ptr_max
PARAM_VALUE 0 info->regs2d_res->sibling->start 1-u64max
PARAM_VALUE 0 info->regs_res 0,4096-ptr_max
PARAM_VALUE 0 info->regs_res->parent 4096-ptr_max
PARAM_VALUE 0 info->regs_res->parent->child 4096-ptr_max
PARAM_VALUE 0 info->regs_res->sibling 0,4096-ptr_max
PARAM_VALUE 0 info->regs_res->sibling->start 1-u64max
PARAM_VALUE 1 head 0
BUF_SIZE 0 info 120
BUF_SIZE 0 info->edid_data (-1),128
BUF_SIZE 0 info->pdata (-1),24
DATA_SOURCE 0 info r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/sm501fb.c sm501fb_remove() -> sm501_free_init_fb()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->fb 4096-ptr_max
PARAM_VALUE 1 head 0
BUF_SIZE 0 info s32min-(-2),1-s32max
BUF_SIZE 0 info s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 info unit_byte
HALF_LOCKED2 &_dev->mutex

drivers/video/fbdev/sm501fb.c sm501fb_remove() -> sm501_free_init_fb()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->fb 4096-ptr_max
PARAM_VALUE 1 head 1
BUF_SIZE 0 info s32min-(-2),1-s32max
BUF_SIZE 0 info s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 info unit_byte
HALF_LOCKED2 &_dev->mutex

drivers/video/fbdev/sm501fb.c sm501fb_start_one() -> sm501_free_init_fb()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->dev 4096-ptr_max
PARAM_VALUE 0 info->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 info->dev->class 0,4096-ptr_max
PARAM_VALUE 0 info->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 info->fb 4096-ptr_max
PARAM_VALUE 0 info->fbmem 0
PARAM_VALUE 0 info->fbmem_res 0,4096-ptr_max
PARAM_VALUE 0 info->fbmem_res->parent 4096-ptr_max
PARAM_VALUE 0 info->fbmem_res->parent->child 4096-ptr_max
PARAM_VALUE 0 info->fbmem_res->sibling 0,4096-ptr_max
PARAM_VALUE 0 info->fbmem_res->sibling->start 1-u64max
PARAM_VALUE 0 info->irq (-4095)-(-1),1-s32max
PARAM_VALUE 0 info->pdata 4096-ptr_max
PARAM_VALUE 0 info->pdata->fb_crt 4096-ptr_max
PARAM_VALUE 0 info->pdata->fb_pnl 4096-ptr_max
PARAM_VALUE 0 info->regs 0
PARAM_VALUE 0 info->regs2d 0
PARAM_VALUE 0 info->regs2d_res 0,4096-ptr_max
PARAM_VALUE 0 info->regs2d_res->parent 4096-ptr_max
PARAM_VALUE 0 info->regs2d_res->parent->child 4096-ptr_max
PARAM_VALUE 0 info->regs2d_res->sibling 0,4096-ptr_max
PARAM_VALUE 0 info->regs2d_res->sibling->start 1-u64max
PARAM_VALUE 0 info->regs_res 0,4096-ptr_max
PARAM_VALUE 0 info->regs_res->parent 4096-ptr_max
PARAM_VALUE 0 info->regs_res->parent->child 4096-ptr_max
PARAM_VALUE 0 info->regs_res->sibling 0,4096-ptr_max
PARAM_VALUE 0 info->regs_res->sibling->start 1-u64max
PARAM_VALUE 1 head 0-1
BUF_SIZE 0 info 120
BUF_SIZE 0 info->edid_data (-1),128
BUF_SIZE 0 info->pdata (-1),24
DATA_SOURCE 0 info $0
DATA_SOURCE 1 head $1
HARD_MAX 1 head 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL