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_generic.c __ppp_xmit_process() -> ppp_prepare_tx_skb()

Type Parameter Key Value
PARAM_VALUE 0 ppp 4096-ptr_max
PARAM_VALUE 0 ppp->closing 0
PARAM_VALUE 0 ppp->wlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 *pskb 4096-ptr_max
DATA_SOURCE 0 ppp $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_PTR 1 (*pskb).data
LOCK2 bh
LOCK2 0 &ppp->wlock
TYPE_LOCK (struct ppp)->wlock