Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/agere/et131x.c et131x_free_busy_send_packets() -> free_send_packet()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->boot_coma 0
PARAM_VALUE 0 adapter->link 0
PARAM_VALUE 0 adapter->rx_ring.rx_status_block->word0 0
PARAM_VALUE 0 adapter->rx_ring.rx_status_block->word1 0
PARAM_VALUE 0 adapter->tcb_send_qlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 tcb 4096-ptr_max
DATA_SOURCE 0 adapter $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &phydev->lock
TYPE_LOCK (struct phy_device)->lock

drivers/net/ethernet/agere/et131x.c et131x_handle_send_pkts() -> free_send_packet()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->netdev->ip6_ptr->mc_query_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 adapter->netdev->ip6_ptr->mc_query_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 adapter->netdev->ip6_ptr->mc_query_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 adapter->netdev->ip6_ptr->mc_report_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 adapter->netdev->ip6_ptr->mc_report_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 adapter->netdev->ip6_ptr->mc_report_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 adapter->netdev->ip6_ptr->stats.proc_dir_entry 0,4806605944481423360
PARAM_VALUE 0 adapter->netdev->nd_net.net->gen->s.len 0-s32max
PARAM_VALUE 0 adapter->netdev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 0 adapter->netdev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 0 adapter->rcv_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->rx_ring.local_psr_full 0-8191
PARAM_VALUE 0 adapter->rx_ring.recv_list.prev 4096-ptr_max
PARAM_VALUE 0 adapter->rx_ring.recv_list.prev->next 4096-ptr_max
PARAM_VALUE 0 adapter->rx_ring.recv_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 adapter->tcb_send_qlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 tcb 4096-ptr_max
DATA_SOURCE 0 adapter $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/agere/et131x.c et131x_handle_send_pkts() -> free_send_packet()

Type Parameter Key Value
PARAM_VALUE 0 adapter 4096-ptr_max
PARAM_VALUE 0 adapter->netdev->ip6_ptr->mc_query_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 adapter->netdev->ip6_ptr->mc_query_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 adapter->netdev->ip6_ptr->mc_query_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 adapter->netdev->ip6_ptr->mc_report_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 adapter->netdev->ip6_ptr->mc_report_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 adapter->netdev->ip6_ptr->mc_report_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 adapter->netdev->ip6_ptr->stats.proc_dir_entry 0,4806605944481423360
PARAM_VALUE 0 adapter->netdev->nd_net.net->gen->s.len 0-s32max
PARAM_VALUE 0 adapter->netdev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 0 adapter->netdev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 0 adapter->rcv_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 adapter->rx_ring.local_psr_full 0-8191
PARAM_VALUE 0 adapter->rx_ring.recv_list.prev 4096-ptr_max
PARAM_VALUE 0 adapter->rx_ring.recv_list.prev->next 4096-ptr_max
PARAM_VALUE 0 adapter->rx_ring.recv_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 adapter->tcb_send_qlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 tcb 4096-ptr_max
DATA_SOURCE 0 adapter $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read