Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/core/fbcon.c fbcon_init() -> con2fb_acquire_newinfo()

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 0
PARAM_VALUE 0 vc->uni_pagedict_loc 4096-ptr_max
PARAM_VALUE 0 vc->vc_can_do_color 0
PARAM_VALUE 0 vc->vc_complement_mask 0
PARAM_VALUE 0 vc->vc_cur_blink_ms 200
PARAM_VALUE 0 vc->vc_display_fg 3273774230749237248
PARAM_VALUE 0 vc->vc_display_fg->vc_bell_duration 0-4294967295
PARAM_VALUE 0 vc->vc_display_fg->vc_size_row 0-4294967295
PARAM_VALUE 0 vc->vc_display_fg->vc_state 0-4294967295
PARAM_VALUE 0 vc->vc_hi_font_mask 0
PARAM_VALUE 0 vc->vc_sw 4096-ptr_max
PARAM_VALUE 0 vc->vc_sw->owner 0,4096-ptr_max
PARAM_VALUE 1 info 4096-ptr_max
PARAM_VALUE 1 info->fbcon_par 0
BUF_SIZE 0 vc (-1),1520
BUF_SIZE 0 vc (-1),1520
BUF_SIZE 0 vc->port.ops (-1),40
BUF_SIZE 0 vc->uni_pagedict_loc 8
BUF_SIZE 0 vc->vc_display_fg 8
CAPPED_DATA 0 vc 1
CAPPED_DATA 0 vc->vc_num 1
CAPPED_DATA 2 unit 1
DATA_SOURCE 0 vc $0
DATA_SOURCE 1 info r fbcon_info_from_console
NOSPEC 0 vc->vc_num
NOSPEC 2 unit
NOSPEC 2 unit
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 vc->vc_num 1-62[c]
USER_DATA 2 unit 1-62[c]
UNITS 2 unit unit_array_size
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/fbcon.c set_con2fb_map() -> con2fb_acquire_newinfo()

Type Parameter Key Value
PARAM_VALUE 1 info 1-u64max
PARAM_VALUE 2 unit 0-62
CAPPED_DATA 2 unit 1
DATA_SOURCE 2 unit $0
FUZZY_MAX 2 unit 62
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 unit 0-62[c]
HALF_LOCKED2 global &console_sem
HALF_LOCKED2 global &registration_lock
HALF_LOCKED2 global &vgasr_mutex