Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/net/ethernet/intel/igbvf/netdev.c igbvf_close() -> igbvf_free_rx_resources()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rx_ring | 4096-ptr_max |
| PARAM_VALUE | 0 | rx_ring->adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | rx_ring->buffer_info->dma | 0 |
| PARAM_VALUE | 0 | rx_ring->buffer_info->length | 0 |
| PARAM_VALUE | 0 | rx_ring->buffer_info->mapped_as_page | 0 |
| PARAM_VALUE | 0 | rx_ring->buffer_info->next_to_watch | 0 |
| PARAM_VALUE | 0 | rx_ring->buffer_info->page | 0 |
| PARAM_VALUE | 0 | rx_ring->buffer_info->page_dma | 0 |
| PARAM_VALUE | 0 | rx_ring->buffer_info->page_offset | 0 |
| PARAM_VALUE | 0 | rx_ring->buffer_info->skb | 0 |
| PARAM_VALUE | 0 | rx_ring->buffer_info->time_stamp | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.read.hdr_addr | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.read.pkt_addr | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.lower.hi_dword.csum_ip.csum | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.lower.hi_dword.csum_ip.ip_id | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.lower.hi_dword.rss | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.lower.lo_dword.data | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.lower.lo_dword.hs_rss.hdr_info | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.lower.lo_dword.hs_rss.pkt_info | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.upper.length | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.upper.status_error | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.upper.vlan | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_context_desc.mss_l4len_idx | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_context_desc.seqnum_seed | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_context_desc.type_tucmd_mlhl | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_context_desc.vlan_macip_lens | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_desc.read.buffer_addr | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_desc.read.cmd_type_len | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_desc.read.olinfo_status | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_desc.wb.nxtseq_seed | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_desc.wb.rsvd | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_desc.wb.status | 0 |
| PARAM_VALUE | 0 | rx_ring->napi.dev | 4096-ptr_max |
| PARAM_VALUE | 0 | rx_ring->napi.dev->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | rx_ring->napi.dev->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | rx_ring->napi.dev->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | rx_ring->napi.dev->lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | rx_ring->napi.dev->lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | rx_ring->napi.dev->lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | rx_ring->napi.dev->lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | rx_ring->napi.napi_hash_node->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | rx_ring->napi.napi_hash_node.next->pprev | 1-u64max |
| PARAM_VALUE | 0 | rx_ring->napi.timer.is_queued | 0 |
| PARAM_VALUE | 0 | rx_ring->next_to_clean | 0 |
| PARAM_VALUE | 0 | rx_ring->next_to_use | 0 |
| CAPPED_DATA | 0 | rx_ring->napi.timer.base | 1 |
| PARAM_COMPARE | 0 | &rx_ring->napi.timer | != $0->napi.timer.base->running |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &netdev->lock | ||
| HALF_LOCKED2 | &rdev->wiphy.mtx | ||
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/ethernet/intel/igbvf/netdev.c igbvf_open() -> igbvf_free_rx_resources()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rx_ring | 4096-ptr_max |
| PARAM_VALUE | 0 | rx_ring->adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | rx_ring->adapter->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | rx_ring->adapter->tx_ring | 4096-ptr_max |
| PARAM_VALUE | 0 | rx_ring->buffer_info | 1-u64max |
| PARAM_VALUE | 0 | rx_ring->desc | 1-ptr_max |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.read.hdr_addr | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.read.pkt_addr | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.lower.hi_dword.csum_ip.csum | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.lower.hi_dword.csum_ip.ip_id | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.lower.hi_dword.rss | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.lower.lo_dword.data | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.lower.lo_dword.hs_rss.hdr_info | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.lower.lo_dword.hs_rss.pkt_info | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.upper.length | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.upper.status_error | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.upper.vlan | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_context_desc.mss_l4len_idx | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_context_desc.seqnum_seed | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_context_desc.type_tucmd_mlhl | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_context_desc.vlan_macip_lens | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_desc.read.buffer_addr | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_desc.read.cmd_type_len | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_desc.read.olinfo_status | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_desc.wb.nxtseq_seed | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_desc.wb.rsvd | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_desc.wb.status | 0 |
| PARAM_VALUE | 0 | rx_ring->head | 10256 |
| PARAM_VALUE | 0 | rx_ring->itr_register | 5764 |
| PARAM_VALUE | 0 | rx_ring->next_to_clean | 0 |
| PARAM_VALUE | 0 | rx_ring->size | 0,4096-u32max |
| PARAM_VALUE | 0 | rx_ring->tail | 10264 |
| PARAM_VALUE | 0 | *rx_ring->name | 0-255 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/ethernet/intel/igbvf/ethtool.c igbvf_set_ringparam() -> igbvf_free_rx_resources()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rx_ring | 4096-ptr_max |
| PARAM_VALUE | 0 | rx_ring->adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | rx_ring->buffer_info->dma | 0 |
| PARAM_VALUE | 0 | rx_ring->buffer_info->length | 0 |
| PARAM_VALUE | 0 | rx_ring->buffer_info->mapped_as_page | 0 |
| PARAM_VALUE | 0 | rx_ring->buffer_info->next_to_watch | 0 |
| PARAM_VALUE | 0 | rx_ring->buffer_info->page | 0 |
| PARAM_VALUE | 0 | rx_ring->buffer_info->page_dma | 0 |
| PARAM_VALUE | 0 | rx_ring->buffer_info->page_offset | 0 |
| PARAM_VALUE | 0 | rx_ring->buffer_info->skb | 0 |
| PARAM_VALUE | 0 | rx_ring->buffer_info->time_stamp | 0 |
| PARAM_VALUE | 0 | rx_ring->count | 0-63,65-u32max |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.read.hdr_addr | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.read.pkt_addr | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.lower.hi_dword.csum_ip.csum | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.lower.hi_dword.csum_ip.ip_id | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.lower.hi_dword.rss | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.lower.lo_dword.data | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.lower.lo_dword.hs_rss.hdr_info | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.lower.lo_dword.hs_rss.pkt_info | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.upper.length | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.upper.status_error | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->rx_desc.wb.upper.vlan | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_context_desc.mss_l4len_idx | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_context_desc.seqnum_seed | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_context_desc.type_tucmd_mlhl | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_context_desc.vlan_macip_lens | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_desc.read.buffer_addr | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_desc.read.cmd_type_len | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_desc.read.olinfo_status | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_desc.wb.nxtseq_seed | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_desc.wb.rsvd | 0 |
| PARAM_VALUE | 0 | rx_ring->desc->tx_desc.wb.status | 0 |
| PARAM_VALUE | 0 | rx_ring->napi.dev | 4096-ptr_max |
| PARAM_VALUE | 0 | rx_ring->napi.dev->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | rx_ring->napi.dev->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | rx_ring->napi.dev->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | rx_ring->napi.dev->lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | rx_ring->napi.dev->lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | rx_ring->napi.dev->lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | rx_ring->napi.dev->lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | rx_ring->napi.napi_hash_node->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | rx_ring->napi.napi_hash_node.next->pprev | 1-u64max |
| PARAM_VALUE | 0 | rx_ring->napi.timer.is_queued | 0 |
| PARAM_VALUE | 0 | rx_ring->next_to_clean | 0 |
| PARAM_VALUE | 0 | rx_ring->next_to_use | 0 |
| CAPPED_DATA | 0 | rx_ring->napi.timer.base | 1 |
| PARAM_COMPARE | 0 | &rx_ring->napi.timer | != $0->napi.timer.base->running |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |