Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/vt/consolemap.c con_do_clear_unimap() -> con_allocate_new()

Type Parameter Key Value
PARAM_VALUE 0 vc 4096-ptr_max
PARAM_VALUE 0 vc->port.client_ops->lookahead_buf 0,5552213984272089088
PARAM_VALUE 0 vc->port.client_ops->receive_buf 0,2070410949742354432,5991726090128461824
PARAM_VALUE 0 vc->port.client_ops->write_wakeup 0,4180907491510067200,7004002109319299072
PARAM_VALUE 0 vc->uni_pagedict_loc 4096-ptr_max
PARAM_VALUE 0 vc->vc_sw->owner 0,4096-ptr_max
PARAM_VALUE 0 *vc->uni_pagedict_loc 0,4096-ptr_max
PARAM_VALUE 0 *vc->uni_pagedict_loc->refcount 2-u64max
BUF_SIZE 0 vc s32min-(-1),1-s32max
BUF_SIZE 0 vc s32min-(-1),1-s32max
BUF_SIZE 0 vc->port.ops (-1),40
BUF_SIZE 0 vc->uni_pagedict_loc (-1),8
BUF_SIZE 0 vc->vc_display_fg (-1),8
BUF_SIZE 0 vc->vc_screenbuf (-1)-s32max
CAPPED_DATA 0 vc 1
DATA_SOURCE 0 vc $0
FUZZY_MAX 0 *vc->uni_pagedict_loc->refcount 2
NOSPEC 0 vc->vc_num
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 vc->vc_num 1-62[c]
UNITS 0 vc unit_byte
HALF_LOCKED2 global &console_sem

drivers/tty/vt/consolemap.c con_unshare_unimap() -> con_allocate_new()

Type Parameter Key Value
PARAM_VALUE 0 vc 4096-ptr_max
PARAM_VALUE 0 vc->uni_pagedict_loc 4096-ptr_max
PARAM_VALUE 0 *vc->uni_pagedict_loc 4096-ptr_max
BUF_SIZE 0 vc s32min-(-2),1-s32max
BUF_SIZE 0 vc s32min-(-2),1-s32max
DATA_SOURCE 0 vc $0
UNITS 0 vc unit_byte
LOCK2 global &console_sem