Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 vc 4096-ptr_max
PARAM_VALUE 0 vc->vc_display_fg 4096-ptr_max
PARAM_VALUE 0 vc->vc_sw 4096-ptr_max
CAPPED_DATA 0 vc 1
CONTAINER 0 -24-1080+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &console_sem

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

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->vc_sw 4096-ptr_max
PARAM_VALUE 0 vc->vc_sw->owner 0,4096-ptr_max
BUF_SIZE 0 vc (-1),1520
BUF_SIZE 0 vc (-1),1520
BUF_SIZE 0 vc->port.ops (-1),40
BUF_SIZE 0 vc->vc_screenbuf (-1)-s32max
DATA_SOURCE 0 vc $0
CONTAINER 0 -24-1080+0 $(-1)
NOSPEC 0 vc->vc_num
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 vc->vc_num 1-62[c]
LOCK2 global &console_sem