Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 pixel_start_ptr 7225120916524949504
PARAM_VALUE 0 *pixel_start_ptr 4096-18446744073709547519
PARAM_VALUE 1 pixel_end 4097-ptr_max
PARAM_VALUE 2 device_address_ptr 6138531124971626496
PARAM_VALUE 3 command_buffer_ptr 8736374541928857600
PARAM_VALUE 4 cmd_buffer_end 4096-ptr_max
PARAM_VALUE 6 ident_ptr 5478950548543229952,5688466582130655232
DATA_SOURCE 6 ident_ptr $6
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 pixel_end unit_byte
UNITS 4 cmd_buffer_end unit_byte
UNITS 5 back_buffer_offset unit_byte
LOCK2 &dlfb->render_mutex
LOCK2 &dlfb->urbs.limit_sem
HALF_LOCKED2 &fbdefio_state->lock
TYPE_LOCK (struct dlfb_data)->render_mutex
TYPE_LOCK (struct urb_list)->limit_sem