Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/gpu/drm/i915/display/intel_fbdev.c intel_fbdev_defio_write() -> fb_io_write()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->fbops 4096-ptr_max
PARAM_VALUE 0 info->fbops->fb_write 1-u64max
PARAM_VALUE 0 info->state 0
PARAM_VALUE 2 count 0-1000000000,2147479552
PARAM_VALUE 3 ppos 4096-ptr_max
PARAM_VALUE 3 *ppos 0-1000000000
BUF_SIZE 3 ppos (-1),8
BUF_SIZE 3 ppos (-1),8
CAPPED_DATA 0 info 1
CAPPED_DATA 1 buf 1
DATA_SOURCE 0 info $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 count $2
DATA_SOURCE 3 ppos $3
FUZZY_MAX 2 count 2147479552
USER_DATA 1 buf 0-u64max[c]
USER_DATA 2 count 0-1000000000
USER_DATA 3 *ppos 0-1000000000
USER_PTR 3 ppos

drivers/video/fbdev/core/fb_chrdev.c fb_write() -> (struct fb_ops)->fb_write()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->fbops 4096-ptr_max
PARAM_VALUE 0 info->fbops->fb_write 1-u64max
PARAM_VALUE 0 info->state 0
PARAM_VALUE 2 count 0-1000000000,2147479552
PARAM_VALUE 3 *ppos 0-1000000000
BUF_SIZE 3 ppos (-1),8
BUF_SIZE 3 ppos (-1),8
CAPPED_DATA 0 info 1
CAPPED_DATA 1 buf 1
DATA_SOURCE 0 info r file_fb_info
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 count $2
DATA_SOURCE 3 ppos $3
FUZZY_MAX 2 count 2147479552
CONTAINER 0 -32-1416+0 $(-1)
USER_DATA 1 buf 0-u64max[c]
USER_DATA 2 count 0-1000000000
USER_DATA 3 *ppos 0-1000000000
USER_PTR 3 ppos