Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ppp/ppp_synctty.c ppp_sync_input() -> ppp_print_buffer()

Type Parameter Key Value
PARAM_VALUE 0 name 4777352889787727872
PARAM_VALUE 2 count s32min-(-1),1-s32max
BUF_SIZE 0 name 15
BUF_SIZE 1 buf (-1),7
BUF_SIZE 1 buf (-1),7
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 count $3
STR_LEN 0 name 14
TERMINATED 0 name 1
PREEMPT_ADD
NOCHECK_CALL
USER_DATA 1 *buf 0-255
USER_PTR 1 buf
LOCK2 &ap->recv_lock
LOCK2 flags
HALF_LOCKED2 &tty->ldisc_sem
HALF_LOCKED2 &tty->port->buf.lock
TYPE_LOCK (struct syncppp)->recv_lock

drivers/net/ppp/ppp_synctty.c ppp_sync_txmunge() -> ppp_print_buffer()

Type Parameter Key Value
PARAM_VALUE 0 name 8640409226438819840
PARAM_VALUE 1 buf 4096-ptr_max
BUF_SIZE 0 name 12
BUF_SIZE 1 buf 1-s32max
STR_LEN 0 name 11
TERMINATED 0 name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 *buf 0-255
HOST_DATA 2 count 0-s32max[c]
NO_OVERFLOW_SIMPLE 2 count
UNITS 1 buf unit_byte
UNITS 2 count unit_byte
HALF_LOCKED2 &pch->downl
HALF_LOCKED2 &pchb->downl
HALF_LOCKED2 &ppp->wlock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct channel)->downl