Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/qualcomm/rmnet/rmnet_map_data.c rmnet_map_flush_tx_packet_work() -> rmnet_send_skb()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->agg_count 0
PARAM_VALUE 0 port->agg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 port->agg_state 0
PARAM_VALUE 0 port->agg_time.tv_nsec 0
PARAM_VALUE 0 port->agg_time.tv_sec 0
PARAM_VALUE 0 port->skbagg_head 0
PARAM_VALUE 1 skb 1-u64max
MEM_ZERO 0 &port->agg_time
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/qualcomm/rmnet/rmnet_map_data.c rmnet_map_tx_aggregate() -> rmnet_send_skb()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->agg_count 0
PARAM_VALUE 0 port->agg_last.tv_nsec 0-999999999
PARAM_VALUE 0 port->agg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 port->agg_state 0
PARAM_VALUE 0 port->agg_time.tv_nsec 0
PARAM_VALUE 0 port->agg_time.tv_sec 0
PARAM_VALUE 0 port->egress_agg_params.count 2-u32max
PARAM_VALUE 0 port->skbagg_head 0
PARAM_VALUE 1 skb 4096-ptr_max
BUF_SIZE 0 port s32min-(-2),1-s32max
BUF_SIZE 0 port s32min-(-2),1-s32max
CAPPED_DATA 0 port->hrtimer.base 1
CAPPED_DATA 0 &port->hrtimer 1
DATA_SOURCE 0 port $1
FUZZY_MAX 0 port->egress_agg_params.count 2
PARAM_COMPARE 0 &port->hrtimer != $0->hrtimer.base->running
BIT_INFO 0 port->data_format 0x0,0xffffffff
MEM_ZERO 0 &port->agg_time
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/net/ethernet/qualcomm/rmnet/rmnet_map_data.c rmnet_map_tx_aggregate() -> rmnet_send_skb()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->agg_count 0
PARAM_VALUE 0 port->agg_last.tv_nsec 0-999999999
PARAM_VALUE 0 port->agg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 port->agg_state 0
PARAM_VALUE 0 port->agg_time.tv_nsec 0
PARAM_VALUE 0 port->agg_time.tv_sec 0
PARAM_VALUE 0 port->egress_agg_params.count 2-u32max
PARAM_VALUE 0 port->skbagg_head 0
PARAM_VALUE 0 port->skbagg_tail 4096-ptr_max
PARAM_VALUE 0 port->skbagg_tail->cloned 0
PARAM_VALUE 0 port->skbagg_tail->dev 4096-ptr_max
PARAM_VALUE 0 port->skbagg_tail->hdr_len 0
PARAM_VALUE 0 port->skbagg_tail->head 1-u64max
PARAM_VALUE 0 port->skbagg_tail->head_frag 0
PARAM_VALUE 0 port->skbagg_tail->nohdr 0
PARAM_VALUE 0 port->skbagg_tail->pp_recycle 0
PARAM_VALUE 0 port->skbagg_tail->sk 0,4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
BUF_SIZE 0 port s32min-(-2),1-s32max
BUF_SIZE 0 port s32min-(-2),1-s32max
BUF_SIZE 0 port->skbagg_tail (-1)-s32max
CAPPED_DATA 0 port->egress_agg_params.count 1
CAPPED_DATA 0 port->hrtimer.base 1
CAPPED_DATA 0 port->skbagg_tail->len 1
CAPPED_DATA 0 &port->hrtimer 1
DATA_SOURCE 0 port $1
FUZZY_MAX 0 port->egress_agg_params.count 2
PARAM_COMPARE 0 &port->hrtimer != $0->hrtimer.base->running
BIT_INFO 0 port->data_format 0x0,0xffffffff
MEM_ZERO 0 &port->agg_time
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 port->skbagg_tail->csum_offset 0-u16max
HOST_DATA 0 port->skbagg_tail->data_len 0-2147483648[c]
HOST_DATA 0 port->skbagg_tail->next->csum_offset 0-u16max
HOST_DATA 0 port->skbagg_tail->next->data_len 0-2147483648[c]
HOST_DATA 0 port->skbagg_tail->next->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 port->skbagg_tail->next->users.refs.counter s32min-0,2-s32max
HOST_DATA 0 port->skbagg_tail->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 port->skbagg_tail->users.refs.counter s32min-0,2-s32max
NO_OVERFLOW_SIMPLE 0 port->skbagg_head->data_len
NO_OVERFLOW_SIMPLE 0 port->skbagg_head->len
NO_OVERFLOW_SIMPLE 0 port->skbagg_head->truesize
NO_OVERFLOW_SIMPLE 0 port->skbagg_tail->data_len
NO_OVERFLOW_SIMPLE 0 port->skbagg_tail->end
NO_OVERFLOW_SIMPLE 0 port->skbagg_tail->len
NO_OVERFLOW_SIMPLE 0 port->skbagg_tail->next->data_len
NO_OVERFLOW_SIMPLE 0 port->skbagg_tail->next->end
NO_OVERFLOW_SIMPLE 0 port->skbagg_tail->next->len
NO_OVERFLOW_SIMPLE 0 port->skbagg_tail->next->tail
NO_OVERFLOW_SIMPLE 0 port->skbagg_tail->next->truesize
NO_OVERFLOW_SIMPLE 0 port->skbagg_tail->tail
NO_OVERFLOW_SIMPLE 0 port->skbagg_tail->truesize
NO_OVERFLOW_SIMPLE 1 skb->data_len
NO_OVERFLOW_SIMPLE 1 skb->len
NO_OVERFLOW_SIMPLE 1 skb->truesize
USER_PTR 0 port->skbagg_tail->data
USER_PTR 0 port->skbagg_tail->next->data
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read