Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ppp/ppp_generic.c ppp_channel_push() -> __ppp_channel_push()

Type Parameter Key Value
PARAM_VALUE 0 pch 4096-ptr_max
PARAM_VALUE 0 pch->ppp 4096-ptr_max
PARAM_VALUE 1 ppp 4096-ptr_max
BUF_SIZE 0 pch (-1),704
BUF_SIZE 0 pch (-1),704
DATA_SOURCE 0 pch $0
PARAM_COMPARE 0 pch->ppp == $1
PARAM_COMPARE 1 ppp == $0->ppp
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read

drivers/net/ppp/ppp_generic.c ppp_channel_push() -> __ppp_channel_push()

Type Parameter Key Value
PARAM_VALUE 0 pch 4096-ptr_max
PARAM_VALUE 0 pch->ppp 0
PARAM_VALUE 1 ppp 0
BUF_SIZE 0 pch (-1),704
BUF_SIZE 0 pch (-1),704
DATA_SOURCE 0 pch $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read