Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/auxdisplay/line-display.c linedisp_display() -> should_scroll()

Type Parameter Key Value
PARAM_VALUE 0 linedisp 4096-ptr_max
PARAM_VALUE 0 linedisp->message_len 1-1000000000
PARAM_VALUE 0 linedisp->scroll_rate 0-536870912,4294967294
BUF_SIZE 0 linedisp (-1),1760
BUF_SIZE 0 linedisp (-1),1760
CAPPED_DATA 0 &linedisp->timer 1
DATA_SOURCE 0 linedisp $0
STR_LEN 0 linedisp (-1)-0
STR_LEN 0 linedisp (-1)-0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex

drivers/auxdisplay/line-display.c scroll_step_ms_store() -> should_scroll()

Type Parameter Key Value
PARAM_VALUE 0 linedisp 4096-ptr_max
PARAM_VALUE 0 linedisp->scroll_rate 0-536870912,4294967294
CAPPED_DATA 0 &linedisp->timer 1
DATA_SOURCE 0 linedisp r to_linedisp
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex