Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ppp/ppp_generic.c ppp_fill_forward_path() -> (struct ppp_channel_ops)->fill_forward_path()

Type Parameter Key Value
PARAM_VALUE 0 ctx 1516366368918282240
PARAM_VALUE 0 ctx->dev 4096-ptr_max
PARAM_VALUE 0 ctx->num_vlans (-16)-2
PARAM_VALUE 1 path 4096-ptr_max
PARAM_VALUE 1 path->bridge.vlan_mode 0
PARAM_VALUE 1 path->dev 0
PARAM_VALUE 1 path->dsa.proto 0
PARAM_VALUE 1 path->encap.proto 0
PARAM_VALUE 1 path->mtk_wdma.amsdu 0
PARAM_VALUE 1 path->mtk_wdma.queue 0
PARAM_VALUE 1 path->mtk_wdma.wcid 0
PARAM_VALUE 1 path->tun.dst 0
PARAM_VALUE 1 path->tun.l3_proto 0
PARAM_VALUE 1 path->type 0
PARAM_VALUE 2 chan 4096-ptr_max
PARAM_VALUE 2 chan->ops 4096-ptr_max
PARAM_VALUE 2 chan->ops->fill_forward_path 2098758240000860160
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 path $1
CONTAINER 2 -16-8+0 $(-1)
MEM_ZERO 1 path
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &flow_offload_mutex
HALF_LOCKED2 global &mtk_flow_offload_mutex
HALF_LOCKED2 rcu_read