Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/ssd1307fb.c ssd1307fb_deferred_io() -> ssd1307fb_update_rect()

Type Parameter Key Value
PARAM_VALUE 0 par 4096-ptr_max
PARAM_VALUE 0 par->damage_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 par->damage_pending 0
BUF_SIZE 0 par 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 0 par 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
NOCHECK_CALL
UNITS 0 par unit_byte
UNITS 1 x unit_byte
UNITS 2 y unit_byte
UNITS 3 width unit_byte
UNITS 4 height unit_byte
LOCK2 &fbdefio_state->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct fb_deferred_io_state)->lock

drivers/video/fbdev/ssd1307fb.c ssd1307fb_update_display() -> ssd1307fb_update_rect()

Type Parameter Key Value
PARAM_VALUE 0 par 4096-ptr_max
PARAM_VALUE 1 x 0
PARAM_VALUE 2 y 0
DATA_SOURCE 0 par $0
UNITS 3 width unit_byte
UNITS 4 height unit_byte