Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ppp/ppp_async.c ppp_async_push() -> ppp_async_encode()

Type Parameter Key Value
PARAM_VALUE 0 ap 4096-ptr_max
PARAM_VALUE 0 ap->tpkt 1-u64max
PARAM_VALUE 0 ap->xmit_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *ap->obuf 0-255
BUF_SIZE 0 ap (-1),144,512,4648
BUF_SIZE 0 ap (-1),144,512,4648
BUF_SIZE 0 ap->tpkt (-1)-s32max
CAPPED_DATA 0 ap->olim 1
DATA_SOURCE 0 ap $0
PARAM_COMPARE 0 ap->olim <= $0->optr
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ap->tpkt->csum_offset 0-u16max
HOST_DATA 0 ap->tpkt->data_len 0-u32max[c]
HOST_DATA 0 ap->tpkt->len 0-u32max[c]
HOST_DATA 0 ap->tpkt->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 ap->tpkt->users.refs.counter s32min-0,2-s32max
USER_DATA 0 *ap->tpkt->data 0-255
NO_OVERFLOW_SIMPLE 0 ap->tpkt->data_len
NO_OVERFLOW_SIMPLE 0 ap->tpkt->end
NO_OVERFLOW_SIMPLE 0 ap->tpkt->len
NO_OVERFLOW_SIMPLE 0 ap->tpkt->tail
NO_OVERFLOW_SIMPLE 0 ap->tpkt->truesize
UNITS 0 ap unit_byte
USER_PTR 0 ap->tpkt->data
LOCK2 bh
LOCK2 0 &ap->xmit_lock
TYPE_LOCK (struct asyncppp)->xmit_lock