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

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
DATA_SOURCE 0 ppp $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 rcu_read
LOCK2 0 &ppp->wlock
TYPE_LOCK (struct ppp)->wlock

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

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->file.xq.next 4096-ptr_max
PARAM_VALUE 0 ppp->file.xq.prev 4096-ptr_max
PARAM_VALUE 0 ppp->file.xq.prev->next->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
CAPPED_DATA 0 &ppp->file.xq 1
DATA_SOURCE 0 ppp $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 0 &ppp->wlock
TYPE_LOCK (struct ppp)->wlock