Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/vt/selection.c vc_do_selection() -> sel_pos()

Type Parameter Key Value
CAPPED_DATA 0 n 1
DATA_SOURCE 0 n $2
USER_DATA 0 n 0-s32max[c]
LOCK2 _T->lock
LOCK2 global &console_sem

drivers/tty/vt/selection.c vc_do_selection() -> sel_pos()

Type Parameter Key Value
CAPPED_DATA 0 n 1
DATA_SOURCE 0 n $2
USER_DATA 0 n 0-s32max[c]
LOCK2 _T->lock
LOCK2 global &console_sem

drivers/tty/vt/selection.c vc_do_selection() -> sel_pos()

Type Parameter Key Value
CAPPED_DATA 0 n 1
DATA_SOURCE 0 n $2
USER_DATA 0 n 0-s32max[c]
LOCK2 _T->lock
LOCK2 global &console_sem

drivers/tty/vt/selection.c vc_do_selection() -> sel_pos()

Type Parameter Key Value
DATA_SOURCE 0 n $3
USER_DATA 0 n 0-s32max[c]
LOCK2 _T->lock
LOCK2 global &console_sem

drivers/tty/vt/selection.c vc_do_selection() -> sel_pos()

Type Parameter Key Value
DATA_SOURCE 0 n $3
USER_DATA 0 n 0-s32max[c]
LOCK2 _T->lock
LOCK2 global &console_sem

drivers/tty/vt/selection.c vc_do_selection() -> sel_pos()

Type Parameter Key Value
DATA_SOURCE 0 n $3
USER_DATA 0 n 0-s32max[c]
LOCK2 _T->lock
LOCK2 global &console_sem

drivers/tty/vt/selection.c vc_do_selection() -> sel_pos()

Type Parameter Key Value
PARAM_VALUE 0 n (-2147483647)-s32max
USER_DATA 0 n 0-s32max[c]
LOCK2 _T->lock
LOCK2 global &console_sem

drivers/tty/vt/selection.c vc_do_selection() -> sel_pos()

Type Parameter Key Value
LOCK2 _T->lock
LOCK2 global &console_sem

drivers/tty/vt/selection.c vc_do_selection() -> sel_pos()

Type Parameter Key Value
DATA_SOURCE 0 n $3 [m]
LOCK2 _T->lock
LOCK2 global &console_sem

drivers/tty/vt/selection.c vc_selection_store_chars() -> sel_pos()

Type Parameter Key Value
CAPPED_DATA 0 n 1
DATA_SOURCE 1 unicode $1
LOCK2 _T->lock
LOCK2 global &console_sem
HALF_LOCKED2 &pool->lock