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_ioctl() -> (struct ppp_channel_ops)->ioctl()

Type Parameter Key Value
PARAM_VALUE 0 chan 4096-ptr_max
PARAM_VALUE 0 chan->ops 4096-ptr_max
PARAM_VALUE 0 chan->ops->ioctl 2338104982587416576,2674117683908063232,3122683865675796480,9215438297274036224
PARAM_VALUE 1 cmd 0-29747,29749-29752,29754-1074033716,1074033718-1074033721,1074033723,1074033725-u32max
DATA_SOURCE 1 cmd $1
DATA_SOURCE 2 arg $2
CONTAINER 0 -8-8+0 $(-1)
USER_DATA 1 cmd 0-29747,29749-29752,29754-1074033716,1074033718-1074033721,1074
USER_DATA 2 arg 0-u64max
LOCK2 &pch->chan_sem
LOCK2 global &ppp_mutex
TYPE_LOCK (struct channel)->chan_sem