Open Menu /

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/vt/keyboard.c kbd_start() -> kbd_update_leds_helper()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
PARAM_VALUE 0 handle->handler 4096-ptr_max
PARAM_VALUE 0 handle->handler->start 1-u64max
PARAM_VALUE 0 handle->open s32min-(-1),1-s32max
PARAM_VALUE 1 data 1912641679171452928
BUF_SIZE 0 handle (-1),80
BUF_SIZE 0 handle (-1),80
BUF_SIZE 0 handle->name (-1),4,6-8,15,17
BUF_SIZE 0 handle->private (-1),568
BUF_SIZE 1 data 4
DATA_SOURCE 0 handle $0
STR_LEN 0 handle->handler->name (-1),7
STR_LEN 0 handle->name (-1),3,5-7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 handle->dev->max_vals
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock