Defined in 2 files as a member:

Defined in 1 files as a function:

Referenced in 12 files:

Smatch caller information:

drivers/tty/hvc/hvc_console.c hvc_console_print() -> (struct hv_ops)->put_chars()

Type Parameter Key Value
PARAM_VALUE 0 vtermno 0-4294967294
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 count 1-u32max
BUF_SIZE 1 buf 16
FUZZY_MAX 2 count 16
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 count
HALF_LOCKED2 flags

drivers/tty/hvc/hvc_console.c hvc_poll_put_char() -> (struct hv_ops)->put_chars()

Type Parameter Key Value
PARAM_VALUE 2 count 1
CONTAINER 0 *(-8-1080+1072) $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/tty/hvc/hvc_console.c hvc_push() -> (struct hv_ops)->put_chars()

Type Parameter Key Value
PARAM_VALUE 2 count 1-s32max
CONTAINER 0 *(-8-1080+1072) $(-1)
CONTAINER 1 *(-8-1080+1208) $(-1)
CONTAINER 2 *(-8-1080+1068) $(-1)
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 count 1-s32max[c]
USER_DATA 2 count 1-s32max[c][u]
LOCK2 &hp->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct hvc_struct)->lock