Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/vt/vt.c do_take_over_console() -> do_bind_con_driver()

Type Parameter Key Value
PARAM_VALUE 0 csw 2870573280414380032,4863173676944474112
PARAM_VALUE 0 csw->owner 0
PARAM_VALUE 0 csw->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 csw->owner->state 0-1,3-u32max
PARAM_VALUE 2 last s32min-(-2),0-s32max
CAPPED_DATA 0 csw 1
CAPPED_DATA 2 last 1
DATA_SOURCE 0 csw $0
DATA_SOURCE 1 first $1
DATA_SOURCE 2 last $2
DATA_SOURCE 3 deflt $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/tty/vt/vt.c do_unbind_con_driver() -> do_bind_con_driver()

Type Parameter Key Value
PARAM_VALUE 0 csw 1-u64max
PARAM_VALUE 2 last s32min-2147483646
CAPPED_DATA 0 csw 1
CAPPED_DATA 2 last 1
DATA_SOURCE 1 first $1 [m]
DATA_SOURCE 2 last $2 [m]
DATA_SOURCE 3 deflt $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &console_sem
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &registration_lock

drivers/tty/vt/vt.c vt_bind() -> do_bind_con_driver()

Type Parameter Key Value
PARAM_VALUE 0 csw 1-u64max
PARAM_VALUE 0 csw->owner 0
PARAM_VALUE 1 first s32min-(-2),0-s32max
PARAM_VALUE 3 deflt 0-1
CAPPED_DATA 1 first 1
CAPPED_DATA 2 last 1
FUZZY_MAX 3 deflt 1
HARD_MAX 3 deflt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
LOCK2 global &console_sem
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex