Open Menu /

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_push()

Type Parameter Key Value
PARAM_VALUE 0 ppp 4096-ptr_max
PARAM_VALUE 0 ppp->closing 0
PARAM_VALUE 0 ppp->file.xq.next 4096-ptr_max
PARAM_VALUE 0 ppp->wlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ppp->xc_state->comp_bytes 0-4294967295
PARAM_VALUE 0 ppp->xc_state->comp_count 0-4294967295
PARAM_VALUE 0 ppp->xc_state->debug s32min-s32max
PARAM_VALUE 0 ppp->xc_state->incomp_bytes 0-4294967295
PARAM_VALUE 0 ppp->xc_state->incomp_count 0-4294967295
PARAM_VALUE 0 ppp->xc_state->keylen 16
PARAM_VALUE 0 ppp->xc_state->mru 0
PARAM_VALUE 0 ppp->xc_state->stateful 1
PARAM_VALUE 0 ppp->xc_state->stats.comp_bytes 0-4294967295
PARAM_VALUE 0 ppp->xc_state->stats.comp_packets 0-4294967295
PARAM_VALUE 0 ppp->xc_state->stats.inc_bytes 0-4294967295
PARAM_VALUE 0 ppp->xc_state->stats.inc_packets 0-4294967295
PARAM_VALUE 0 ppp->xc_state->stats.unc_bytes 0-4294967295
PARAM_VALUE 0 ppp->xc_state->stats.unc_packets 0-4294967295
PARAM_VALUE 0 ppp->xc_state->strm->next_out 0-255
PARAM_VALUE 0 ppp->xc_state->strm->state->head 0-u16max
PARAM_VALUE 0 ppp->xc_state->strm.data_type 2
PARAM_VALUE 0 ppp->xc_state->strm.msg 0
PARAM_VALUE 0 ppp->xc_state->strm.state->bl_desc.dyn_tree->dl.len 0-15,u16max
PARAM_VALUE 0 ppp->xc_state->strm.state->bl_desc.stat_desc 913731107127713792
PARAM_VALUE 0 ppp->xc_state->strm.state->bl_desc.stat_desc->elems 19
PARAM_VALUE 0 ppp->xc_state->strm.state->bl_desc.stat_desc->extra_bits 7910880777044582400
PARAM_VALUE 0 ppp->xc_state->strm.state->bl_desc.stat_desc->max_length 7
PARAM_VALUE 0 ppp->xc_state->strm.state->d_desc.dyn_tree->dl.len 0-15,u16max
PARAM_VALUE 0 ppp->xc_state->strm.state->d_desc.stat_desc 1800907796424552448
PARAM_VALUE 0 ppp->xc_state->strm.state->d_desc.stat_desc->elems 30
PARAM_VALUE 0 ppp->xc_state->strm.state->d_desc.stat_desc->extra_bits 6582557173907828736
PARAM_VALUE 0 ppp->xc_state->strm.state->d_desc.stat_desc->max_length 15
PARAM_VALUE 0 ppp->xc_state->strm.state->d_desc.stat_desc->static_tree 4771640363198926848
PARAM_VALUE 0 ppp->xc_state->strm.state->good_match 0-u16max
PARAM_VALUE 0 ppp->xc_state->strm.state->l_desc.stat_desc 5063368230529748992
PARAM_VALUE 0 ppp->xc_state->strm.state->l_desc.stat_desc->elems 286
PARAM_VALUE 0 ppp->xc_state->strm.state->l_desc.stat_desc->extra_base 257
PARAM_VALUE 0 ppp->xc_state->strm.state->l_desc.stat_desc->extra_bits 7734908214924271616
PARAM_VALUE 0 ppp->xc_state->strm.state->l_desc.stat_desc->max_length 15
PARAM_VALUE 0 ppp->xc_state->strm.state->l_desc.stat_desc->static_tree 4874228718230159360
PARAM_VALUE 0 ppp->xc_state->strm.state->match_length 2
PARAM_VALUE 0 ppp->xc_state->strm.state->max_chain_length 0-u16max
PARAM_VALUE 0 ppp->xc_state->strm.state->max_lazy_match 0-u16max
PARAM_VALUE 0 ppp->xc_state->strm.state->nice_match 0-u16max
PARAM_VALUE 0 ppp->xc_state->strm.state->noheader 0-1
PARAM_VALUE 0 ppp->xc_state->strm.state->prev_length 2
PARAM_VALUE 0 ppp->xc_state->strm.total_in 0
PARAM_VALUE 0 ppp->xc_state->uncomp_bytes 0-4294967295
PARAM_VALUE 0 ppp->xc_state->uncomp_count 0-4294967295
PARAM_VALUE 0 ppp->xc_state->unit s32min-s32max
PARAM_VALUE 0 ppp->xstate 4096-u32max
PARAM_VALUE 0 *ppp->xc_state->strm.next_in 0-255
PARAM_VALUE 0 *ppp->xc_state->strm.next_out 0-255
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->dev->ethtool_ops->get_link_ext_state 0-s64max
PARAM_VALUE 1 skb->dev->ethtool_ops->get_mm_stats 0-s64max
PARAM_VALUE 1 skb->dev->ethtool_ops->rxfh_max_num_contexts 0-4294967295
PARAM_VALUE 1 skb->dev->ethtool_ops->supported_coalesce_params 0-s64max
PARAM_VALUE 1 skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 1 skb->dev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 1 skb->dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 1 skb->dev->rtnl_link_ops->priv_size 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3552,3720,9688-u64max
PARAM_VALUE 1 skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 1 skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 1 skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 skb->sk->sk_callback_lock.owner (-1)
PARAM_VALUE 1 skb->sk->sk_callback_lock.owner_cpu 4294967295
PARAM_VALUE 1 skb->sk->sk_filter 0
PARAM_VALUE 1 skb->sk->sk_frag.page 0
PARAM_VALUE 1 skb->sk->sk_owner->refcnt.counter 0-s32max
PARAM_VALUE 1 skb->sk->sk_prot_creator->owner->refcnt.counter 0-s32max
PARAM_VALUE 1 skb->sk->sk_rcu.next 0
PARAM_VALUE 1 skb->sk->sk_security 0
PARAM_VALUE 1 *skb->head 0-255
PARAM_VALUE 1 *skb->sk->sk_callback_lock.owner (-4611686018427387904)-4611686018427387903
CAPPED_DATA 0 ppp->file.xq.next 1
CAPPED_DATA 0 &ppp->file.xq 1
DATA_SOURCE 0 ppp $0
DATA_SOURCE 1 skb $1 [m]
PARAM_COMPARE 0 &ppp->file.xq == $0->file.xq.next
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 skb->csum_offset 0-u16max
HOST_DATA 1 skb->data_len 0-2147483648[c]
HOST_DATA 1 skb->prev->csum_offset 0-u16max
HOST_DATA 1 skb->prev->data_len 0-u32max[c]
HOST_DATA 1 skb->prev->len 0-u32max[c]
HOST_DATA 1 skb->prev->truesize 0-u32max
HOST_DATA 1 skb->prev->tstamp 500000002-4294967299794967295[c]
HOST_DATA 1 skb->prev->users.refs.counter s32min-0,2-s32max
HOST_DATA 1 skb->tstamp 500000002-4294967299794967295[c]
HOST_DATA 1 skb->users.refs.counter s32min-0,2-s32max
HOST_DATA 1 *skb->data 0-255
NO_OVERFLOW_SIMPLE 1 skb->data_len
NO_OVERFLOW_SIMPLE 1 skb->dev->group
NO_OVERFLOW_SIMPLE 1 skb->dev->num_tc
NO_OVERFLOW_SIMPLE 1 skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 1 skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 1 skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE 1 skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE 1 skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE 1 skb->end
NO_OVERFLOW_SIMPLE 1 skb->extensions
NO_OVERFLOW_SIMPLE 1 skb->len
NO_OVERFLOW_SIMPLE 1 skb->prev->data_len
NO_OVERFLOW_SIMPLE 1 skb->prev->end
NO_OVERFLOW_SIMPLE 1 skb->prev->len
NO_OVERFLOW_SIMPLE 1 skb->prev->tail
NO_OVERFLOW_SIMPLE 1 skb->prev->truesize
NO_OVERFLOW_SIMPLE 1 skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 1 skb->tail
NO_OVERFLOW_SIMPLE 1 skb->truesize
LOCK2 bh
LOCK2 0 &ppp->wlock
TYPE_LOCK (struct ppp)->wlock

drivers/net/ppp/ppp_generic.c ppp_xmit_flush() -> ppp_push()

Type Parameter Key Value
PARAM_VALUE 0 ppp 4096-ptr_max
PARAM_VALUE 0 ppp->closing 0
PARAM_VALUE 0 ppp->file.xq.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ppp->rcomp->incomp 4096-ptr_max
PARAM_VALUE 0 ppp->wlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
CAPPED_DATA 0 &ppp->file.xq 1
DATA_SOURCE 0 ppp $0
DATA_SOURCE 1 skb r skb_dequeue
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
LOCK2 0 &ppp->wlock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct ppp)->wlock