Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/vt/vt.c con_scroll() -> (struct consw)->con_scroll()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->vc_display_fg 4096-ptr_max
PARAM_VALUE 0 c->vc_display_fg->vc_bell_duration 0-4294967295
PARAM_VALUE 0 c->vc_display_fg->vc_size_row 0-4294967295
PARAM_VALUE 0 c->vc_display_fg->vc_state 0-4294967295
PARAM_VALUE 0 c->vc_sw 4096-ptr_max
PARAM_VALUE 0 c->vc_sw->con_cursor 0,4096-ptr_max
PARAM_VALUE 0 c->vc_sw->con_putc 0,4096-ptr_max
PARAM_VALUE 0 c->vc_sw->owner 0
PARAM_VALUE 0 c->vc_uni_lines 0,4096-ptr_max
PARAM_VALUE 0 *c->vc_display_fg 4096-ptr_max
PARAM_VALUE 0 *c->vc_par 0-4294967295
PARAM_VALUE 1 t 0-4294967294
PARAM_VALUE 2 b 1-u32max
PARAM_VALUE 3 dir 0-1
PARAM_VALUE 4 lines 1-u32max
BUF_SIZE 0 c s32min-(-1),1-s32max
BUF_SIZE 0 c s32min-(-1),1-s32max
CAPPED_DATA 0 c 1
CAPPED_DATA 0 *c->vc_display_fg 1
CAPPED_DATA 1 t 1
CAPPED_DATA 2 b 1
DATA_SOURCE 0 c $0
DATA_SOURCE 1 t $1
DATA_SOURCE 2 b $2
DATA_SOURCE 3 dir $3
DATA_SOURCE 4 lines $4 [m]
CONTAINER 0 -64-1080+0 $(-1)
PARAM_COMPARE 0 *c->vc_display_fg == $0
PARAM_COMPARE 1 t < $0->vc_rows
PARAM_COMPARE 1 t < $2
PARAM_COMPARE 2 b <= $0->vc_rows
PARAM_COMPARE 2 b > $1
HARD_MAX 3 dir 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 c->vc_pos 4096-u64max
USER_DATA 0 c->vc_utf_char s32min-s32max[c]
NO_OVERFLOW_SIMPLE 0 c->saved_state.y
NO_OVERFLOW_SIMPLE 0 c->state.y
NO_OVERFLOW_SIMPLE 1 t
USER_PTR 0 c->vc_pos
HALF_LOCKED2 global &console_sem