Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/core/fbcon_ud.c ud_cursor() -> ud_update_attr()

Type Parameter Key Value
PARAM_VALUE 0 dst 16,4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 attribute 1-7
PARAM_VALUE 3 vc 4096-ptr_max
BUF_SIZE 0 dst 0-u32max
BUF_SIZE 0 dst 0-u32max
BUF_SIZE 3 vc s32min-(-1),1-s32max
BUF_SIZE 3 vc s32min-(-1),1-s32max
BUF_SIZE 3 vc->port.ops (-1),40
BUF_SIZE 3 vc->uni_pagedict_loc (-1),8
BUF_SIZE 3 vc->vc_display_fg (-1),8
BUF_SIZE 3 vc->vc_font.data (-1),256-524288
BUF_SIZE 3 vc->vc_saved_uni_lines (-1),1-s32max
BUF_SIZE 3 vc->vc_screenbuf (-1)-s32max
CAPPED_DATA 1 src 1
CAPPED_DATA 3 vc 1
DATA_SOURCE 0 dst r _kmalloc_array_noprof
DATA_SOURCE 2 attribute r get_attribute
DATA_SOURCE 3 vc $0
NOSPEC 3 vc->vc_cell_height
NOSPEC 3 vc->vc_cols
NOSPEC 3 vc->vc_font.height
NOSPEC 3 vc->vc_num
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 vc->vc_bottom 1-s16max
USER_DATA 3 vc->vc_cell_height 1-32[c]
USER_DATA 3 vc->vc_cols 1-s16max[c]
USER_DATA 3 vc->vc_font.height 2-128[c]
USER_DATA 3 vc->vc_font.width 1-64[c]
USER_DATA 3 vc->vc_num 1-62[c]
USER_DATA 3 vc->vc_pos 4096-18446744073709547520
USER_DATA 3 vc->vc_rows 1-s16max
USER_DATA 3 vc->vc_scan_lines 1-u16max
USER_DATA 3 vc->vc_size_row 2-65534[c]
USER_DATA 3 vc->vc_utf_char s32min-s32max[c]
NO_OVERFLOW_SIMPLE 3 vc->saved_state.y
NO_OVERFLOW_SIMPLE 3 vc->state.y
NO_OVERFLOW_SIMPLE 3 vc->vc_top
UNITS 1 src unit_byte
USER_PTR 3 vc->vc_pos
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/fbcon_ud.c ud_putcs_aligned() -> ud_update_attr()

Type Parameter Key Value
PARAM_VALUE 0 dst 0,16,4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 attribute 1-7
PARAM_VALUE 3 vc 4096-ptr_max
BUF_SIZE 0 dst 0-s32max
BUF_SIZE 0 dst 0-s32max
BUF_SIZE 3 vc s32min-(-1),1-s32max
BUF_SIZE 3 vc s32min-(-1),1-s32max
BUF_SIZE 3 vc->port.ops (-1),40
BUF_SIZE 3 vc->uni_pagedict_loc (-1),8
BUF_SIZE 3 vc->vc_display_fg (-1),8
BUF_SIZE 3 vc->vc_font.data (-1),256-524288
BUF_SIZE 3 vc->vc_saved_uni_lines (-1),1-s32max
BUF_SIZE 3 vc->vc_screenbuf (-1)-s32max
BUF_SIZE 3 vc->vc_translate (-1),512
DATA_SOURCE 0 dst $9
DATA_SOURCE 2 attribute $3
DATA_SOURCE 3 vc $0
NOSPEC 3 vc->vc_cell_height
NOSPEC 3 vc->vc_cols
NOSPEC 3 vc->vc_font.height
NOSPEC 3 vc->vc_num
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 vc->vc_bottom 1-s16max
USER_DATA 3 vc->vc_cell_height 1-32[c]
USER_DATA 3 vc->vc_cols 1-s16max[c]
USER_DATA 3 vc->vc_font.height 2-128[c]
USER_DATA 3 vc->vc_font.width 1-64[c]
USER_DATA 3 vc->vc_num 1-62[c]
USER_DATA 3 vc->vc_pos 0-u64max
USER_DATA 3 vc->vc_rows 1-s16max
USER_DATA 3 vc->vc_scan_lines 1-u16max
USER_DATA 3 vc->vc_size_row 2-65534[c]
USER_DATA 3 vc->vc_utf_char s32min-s32max[c]
NO_OVERFLOW_SIMPLE 3 vc->saved_state.y
NO_OVERFLOW_SIMPLE 3 vc->state.y
NO_OVERFLOW_SIMPLE 3 vc->vc_top
USER_PTR 3 vc->vc_pos
HALF_LOCKED2 &printing_lock
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/fbcon_ud.c ud_putcs_unaligned() -> ud_update_attr()

Type Parameter Key Value
PARAM_VALUE 0 dst 0,16,4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 attribute 1-7
PARAM_VALUE 3 vc 4096-ptr_max
BUF_SIZE 0 dst 0-s32max
BUF_SIZE 0 dst 0-s32max
BUF_SIZE 3 vc s32min-(-1),1-s32max
BUF_SIZE 3 vc s32min-(-1),1-s32max
BUF_SIZE 3 vc->port.ops (-1),40
BUF_SIZE 3 vc->uni_pagedict_loc (-1),8
BUF_SIZE 3 vc->vc_display_fg (-1),8
BUF_SIZE 3 vc->vc_font.data (-1),256-524288
BUF_SIZE 3 vc->vc_saved_uni_lines (-1),1-s32max
BUF_SIZE 3 vc->vc_screenbuf (-1)-s32max
BUF_SIZE 3 vc->vc_translate (-1),512
DATA_SOURCE 0 dst $9
DATA_SOURCE 2 attribute $3
DATA_SOURCE 3 vc $0
NOSPEC 3 vc->vc_cell_height
NOSPEC 3 vc->vc_cols
NOSPEC 3 vc->vc_font.height
NOSPEC 3 vc->vc_num
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 vc->vc_bottom 1-s16max
USER_DATA 3 vc->vc_cell_height 1-32[c]
USER_DATA 3 vc->vc_cols 1-s16max[c]
USER_DATA 3 vc->vc_font.height 2-128[c]
USER_DATA 3 vc->vc_font.width 1-64[c]
USER_DATA 3 vc->vc_num 1-62[c]
USER_DATA 3 vc->vc_pos 0-u64max
USER_DATA 3 vc->vc_rows 1-s16max
USER_DATA 3 vc->vc_scan_lines 1-u16max
USER_DATA 3 vc->vc_size_row 2-65534[c]
USER_DATA 3 vc->vc_utf_char s32min-s32max[c]
NO_OVERFLOW_SIMPLE 3 vc->saved_state.y
NO_OVERFLOW_SIMPLE 3 vc->state.y
NO_OVERFLOW_SIMPLE 3 vc->vc_top
USER_PTR 3 vc->vc_pos
HALF_LOCKED2 &printing_lock
HALF_LOCKED2 global &console_sem