Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/udlfb.c dlfb_dpy_deferred_io() -> dlfb_render_hline()

Type Parameter Key Value
PARAM_VALUE 0 dlfb 4096-ptr_max
PARAM_VALUE 0 dlfb->render_mutex.dep_map->name 0-255
PARAM_VALUE 0 dlfb->render_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dlfb->render_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dlfb->render_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dlfb->render_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 dlfb->render_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 dlfb->render_mutex.wait_lock.owner_cpu u32max
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.list.next 4096-ptr_max
PARAM_VALUE 0 dlfb->urbs.list.next->next->prev 4096-ptr_max
PARAM_VALUE 0 dlfb->urbs.list.next->prev->next 4096-ptr_max
PARAM_VALUE 0 dlfb->usb_active.counter s32min-(-1),1-s32max
PARAM_VALUE 1 urb_ptr 5444487352039514112
PARAM_VALUE 1 *urb_ptr 4096-ptr_max
PARAM_VALUE 3 urb_buf_ptr 489204126375821312
PARAM_VALUE 5 byte_width 4096
PARAM_VALUE 6 ident_ptr 5688466582130655232
PARAM_VALUE 7 sent_ptr 5400291103979536384
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 0 &dlfb->render_mutex 1
PARAM_COMPARE 0 &dlfb->urbs.list != $0->urbs.list.next
UNITS 0 dlfb unit_byte
UNITS 2 front unit_byte
UNITS 4 byte_offset unit_byte
UNITS 5 byte_width unit_byte
LOCK2 &fbdefio_state->lock
LOCK2 0 &dlfb->render_mutex
LOCK2 0 &dlfb->urbs.limit_sem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dlfb_data)->render_mutex
TYPE_LOCK (struct fb_deferred_io_state)->lock
TYPE_LOCK (struct urb_list)->limit_sem

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

Type Parameter Key Value
PARAM_VALUE 0 dlfb 4096-ptr_max
PARAM_VALUE 0 dlfb->info 4096-ptr_max
PARAM_VALUE 0 dlfb->info->var.xres 1-u32max
PARAM_VALUE 0 dlfb->render_mutex.dep_map->name 0-255
PARAM_VALUE 0 dlfb->render_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dlfb->render_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dlfb->render_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dlfb->render_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 dlfb->render_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 dlfb->render_mutex.wait_lock.owner_cpu u32max
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.list.next 4096-ptr_max
PARAM_VALUE 0 dlfb->urbs.list.next->next->prev 4096-ptr_max
PARAM_VALUE 0 dlfb->urbs.list.next->prev->next 4096-ptr_max
PARAM_VALUE 0 dlfb->usb_active.counter s32min-(-1),1-s32max
PARAM_VALUE 1 urb_ptr 3627202196432760832
PARAM_VALUE 1 *urb_ptr 4096-ptr_max
PARAM_VALUE 3 urb_buf_ptr 6587895964483346432
PARAM_VALUE 6 ident_ptr 5478950548543229952
PARAM_VALUE 7 sent_ptr 1857524154948902912
BUF_SIZE 0 dlfb (-1),2,4,16,24,32,128,216,248,256,1288,1984,2560
BUF_SIZE 0 dlfb (-1),2,4,16,24,32,128,216,248,256,1288,1984,2560
CAPPED_DATA 0 &dlfb->render_mutex 1
DATA_SOURCE 0 dlfb $0
PARAM_COMPARE 0 &dlfb->urbs.list != $0->urbs.list.next
RX_PATH
TASK_NOT_RUNNING
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 5 byte_width 0-u32max[c]
USER_DATA 5 byte_width 0-u32max[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
UNITS 0 dlfb unit_byte
UNITS 2 front unit_byte
USER_PTR 0 dlfb->current_mode.reserved
LOCK2 0 &dlfb->render_mutex
LOCK2 0 &dlfb->urbs.limit_sem
HALF_LOCKED2 &info->lock
TYPE_LOCK (struct dlfb_data)->render_mutex
TYPE_LOCK (struct urb_list)->limit_sem