Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/udlfb.c dlfb_damage_work() -> dlfb_handle_damage()

Type Parameter Key Value
PARAM_VALUE 0 dlfb 4096-ptr_max
PARAM_VALUE 0 dlfb->damage_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dlfb->damage_x s32max
PARAM_VALUE 0 dlfb->damage_x2 0
PARAM_VALUE 0 dlfb->damage_y s32max
PARAM_VALUE 0 dlfb->damage_y2 0
PARAM_VALUE 1 x s32min-2147483646
PARAM_VALUE 2 y s32min-2147483646
PARAM_VALUE 3 width s32min-(-1),1-s32max
PARAM_VALUE 4 height s32min-(-1),1-s32max
CAPPED_DATA 1 x 1
CAPPED_DATA 2 y 1
NOCHECK_CALL
UNITS 1 x unit_byte
UNITS 2 y unit_byte
UNITS 3 width unit_byte
UNITS 4 height unit_byte
HALF_LOCKED2 &pool->lock

drivers/video/fbdev/udlfb.c dlfb_ops_damage_range() -> dlfb_handle_damage()

Type Parameter Key Value
PARAM_VALUE 1 x 0
PARAM_VALUE 2 y 0-1000000000
BUF_SIZE 0 dlfb 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 0 dlfb 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
CAPPED_DATA 4 height 1
NOCHECK_CALL
USER_DATA 2 y 1-1000000000[c]
USER_DATA 4 height 1-s32max[c]
UNITS 0 dlfb unit_byte
UNITS 3 width unit_byte

drivers/video/fbdev/udlfb.c dlfb_ops_ioctl() -> dlfb_handle_damage()

Type Parameter Key Value
PARAM_VALUE 0 dlfb 4096-ptr_max
PARAM_VALUE 0 dlfb->usb_active.counter s32min-(-1),1-s32max
PARAM_VALUE 1 x 0-s32max
PARAM_VALUE 2 y 0-s32max
BUF_SIZE 0 dlfb 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
BUF_SIZE 0 dlfb 2,4,16,24,32,128,216,248,256,1288,1984,2560,2864
CAPPED_DATA 1 x 1
CAPPED_DATA 2 y 1
NOCHECK_CALL
USER_DATA 1 x 1-s32max[c]
USER_DATA 2 y 1-s32max[c]
USER_DATA 3 width s32min-s32max
USER_DATA 4 height s32min-s32max
UNITS 0 dlfb unit_byte
UNITS 1 x unit_byte
UNITS 2 y unit_byte
LOCK2 &info->lock
TYPE_LOCK (struct fb_info)->lock

drivers/video/fbdev/udlfb.c dlfb_ops_set_par() -> dlfb_handle_damage()

Type Parameter Key Value
PARAM_VALUE 0 dlfb 4096-ptr_max
PARAM_VALUE 0 dlfb->backing_buffer 1-u64max
PARAM_VALUE 0 dlfb->blank_mode 0
PARAM_VALUE 0 dlfb->current_mode.activate 0
PARAM_VALUE 0 dlfb->deferred_free.next 4096-ptr_max
PARAM_VALUE 0 dlfb->deferred_free.next->next 4096-ptr_max
PARAM_VALUE 0 dlfb->deferred_free.next->prev 4096-ptr_max
PARAM_VALUE 0 dlfb->urbs.limit_sem.first_waiter 4096-ptr_max
PARAM_VALUE 0 dlfb->urbs.limit_sem.first_waiter->list.next 5349227543279349760
PARAM_VALUE 0 dlfb->urbs.limit_sem.first_waiter->list.prev 5349227543279349760
PARAM_VALUE 0 dlfb->urbs.limit_sem.first_waiter->list.prev->next 5349227543279349760
PARAM_VALUE 0 dlfb->urbs.limit_sem.first_waiter->up 0
PARAM_VALUE 0 dlfb->urbs.limit_sem.lock.dep_map->name 0-255
PARAM_VALUE 0 dlfb->urbs.limit_sem.lock.owner (-1)
PARAM_VALUE 0 dlfb->urbs.limit_sem.lock.owner_cpu u32max
PARAM_VALUE 0 dlfb->urbs.list.next 4096-ptr_max
PARAM_VALUE 0 dlfb->urbs.list.next->next 4096-ptr_max
PARAM_VALUE 0 dlfb->urbs.list.next->next->next 4096-ptr_max
PARAM_VALUE 0 dlfb->urbs.list.next->next->prev 4096-ptr_max
PARAM_VALUE 0 dlfb->urbs.list.next->prev 4096-ptr_max
PARAM_VALUE 0 dlfb->urbs.list.next->prev->next 4096-ptr_max
PARAM_VALUE 0 dlfb->urbs.list.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 dlfb->usb_active.counter s32min-(-1),1-s32max
PARAM_VALUE 1 x 0
PARAM_VALUE 2 y 0
BUF_SIZE 0 dlfb (-1),1984
BUF_SIZE 0 dlfb (-1),1984
PARAM_COMPARE 0 &dlfb->urbs.list != $0->urbs.list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dlfb->current_mode.blue.msb_right 0-u32max
HOST_DATA 0 dlfb->current_mode.green.msb_right 0-u32max
HOST_DATA 0 dlfb->current_mode.red.msb_right 0-u32max
HOST_DATA 0 dlfb->current_mode.transp.length 0-u32max
HOST_DATA 0 dlfb->current_mode.transp.msb_right 0-u32max
HOST_DATA 0 dlfb->current_mode.transp.offset 0-u32max
HOST_DATA 0 dlfb->current_mode.xres 8-u32max[c]
HOST_DATA 0 dlfb->current_mode.xres_virtual 8-u32max
HOST_DATA 0 dlfb->current_mode.yres 8-s32max[c]
HOST_DATA 3 width 8-s32max[c]
HOST_DATA 4 height 9-s32max[c]
NO_OVERFLOW_SIMPLE 0 dlfb->current_mode.xres
NO_OVERFLOW_SIMPLE 0 dlfb->current_mode.xres_virtual
NO_OVERFLOW_SIMPLE 0 dlfb->current_mode.yres
NO_OVERFLOW_SIMPLE 0 dlfb->current_mode.yres_virtual
NO_OVERFLOW_SIMPLE 3 width
NO_OVERFLOW_SIMPLE 4 height
UNITS 0 dlfb unit_byte
UNITS 3 width unit_byte
USER_PTR 0 dlfb->current_mode.reserved
HALF_LOCKED2 &minfo->crtc2.lock
HALF_LOCKED2 &of->mutex