b44_free_consistent identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/net/ethernet/broadcom/b44.c, line 1131 (as a function)

Referenced in 1 files:

drivers/net/ethernet/broadcom/b44.c

Smatch caller information:

drivers/net/ethernet/broadcom/b44.c b44_alloc_consistent() -> b44_free_consistent()

Type	Parameter	Key	Value
PARAM_VALUE	0	bp	4096-ptr_max
PARAM_VALUE	0	bp->rx_buffers	0,4096-ptr_max
PARAM_VALUE	0	bp->sdev->dma_dev->cma_area->nranges	s32min-s32max
BUF_SIZE	0	bp->rx_buffers	8192
BUF_SIZE	0	bp->rx_ring	4096,u64max
BUF_SIZE	0	bp->tx_buffers	8192,u64max
BUF_SIZE	0	bp->tx_ring	4096,u64max
DATA_SOURCE	0	bp	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &rtnl_mutex

drivers/net/ethernet/broadcom/b44.c b44_close() -> b44_free_consistent()

Type	Parameter	Key	Value
PARAM_VALUE	0	bp	4096-ptr_max
PARAM_VALUE	0	bp->dev	0,4096-ptr_max
PARAM_VALUE	0	bp->dev->dev.parent	0,4096-ptr_max
PARAM_VALUE	0	bp->dev->rtnl_link_ops->priv_size	0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736
PARAM_VALUE	0	bp->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	bp->napi.config	0,4096-ptr_max
PARAM_VALUE	0	bp->napi.dev	4096-ptr_max
PARAM_VALUE	0	bp->napi.dev->lock.dep_map->name	0-255
PARAM_VALUE	0	bp->napi.dev->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	bp->napi.dev->lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	bp->napi.dev->lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	bp->napi.dev->lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	bp->napi.dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	bp->napi.dev->lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	bp->napi.napi_hash_node->next->pprev	1-u64max
PARAM_VALUE	0	bp->napi.napi_hash_node.next->pprev	1-u64max
PARAM_VALUE	0	bp->napi.napi_hash_node.pprev	0
PARAM_VALUE	0	bp->napi.timer.is_queued	0
PARAM_VALUE	0	bp->napi.timer.node.node.next	0
PARAM_VALUE	0	bp->napi.timer.node.node.prev	0
PARAM_VALUE	0	bp->sdev	4096-ptr_max
PARAM_VALUE	0	bp->sdev->bus	4096-ptr_max
PARAM_VALUE	0	bp->sdev->bus->bar_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	bp->sdev->bus->chipco.pmu.crystalfreq	0,2,12000,13000,14400,15360,16200,16800,19200,19800,20000,24000
PARAM_VALUE	0	bp->sdev->bus->host_pcmcia->socket->ops_mutex.osq.tail.counter	s32min-s32max
PARAM_VALUE	0	bp->sdev->bus->host_sdio->card->host->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	bp->sdev->bus->host_sdio->card->host->ongoing_mrq->cmd_completion.done	0-4294967293,4294967295
PARAM_VALUE	0	bp->sdev->bus->host_sdio->card->host->parent->dma_io_tlb_mem->dyn_alloc.flags	0-4294967295
PARAM_VALUE	0	bp->sdev->bus->host_sdio->card->host->parent->dma_io_tlb_mem->dyn_alloc.is_hard	0-1
PARAM_VALUE	0	bp->sdev->bus->host_sdio->card->host->parent->dma_io_tlb_mem->dyn_alloc.is_lazy	0-1
PARAM_VALUE	0	bp->sdev->bus->host_sdio->card->host->parent->dma_io_tlb_mem->dyn_alloc.is_soft	0-1
PARAM_VALUE	0	bp->sdev->bus->host_sdio->card->host->private->dev->iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	bp->sdev->bus->host_sdio->card->host->private->pdev->dev.iommu->attach_deferred	0-1
PARAM_VALUE	0	bp->sdev->bus->mapped_device->bus	4096-ptr_max
PARAM_VALUE	0	bp->sdev->bus->sdio_sbaddr	0-255,402653184-403697664
PARAM_VALUE	0	bp->sdev->dma_dev->dma_io_tlb_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	bp->sdev->dma_dev->iommu->attach_deferred	0-1
PARAM_VALUE	0	bp->sdev->ops	4096-ptr_max
PARAM_VALUE	0	bp->sdev->ops->read32	4096-ptr_max
PARAM_VALUE	0	bp->sdev->ops->write32	4096-ptr_max
PARAM_VALUE	0	bp->timer.entry.pprev	0
PARAM_VALUE	0	bp->timer.flags	0-4194302
PARAM_VALUE	0	bp->timer.function	0
PARAM_VALUE	0	*bp->dev->name	0-255
CAPPED_DATA	0	bp->napi.timer.base	1
CAPPED_DATA	0	bp->sdev	1
CAPPED_DATA	0	&bp->timer	1
PARAM_COMPARE	0	&bp->napi.timer	!= $0->napi.timer.base->running
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	bp->sdev->bus->chipco.capabilities	0-u32max
HOST_DATA	0	bp->sdev->bus->chipco.max_timer_ms	2114-u16max,541200-u32max[c]
HOST_DATA	0	bp->sdev->bus->chipco.status	0-u32max
HOST_DATA	0	bp->sdev->bus->chipco.ticks_per_ms	1-31[c]
HOST_DATA	0	*bp->sdev->bus->host_sdio->tmpbuf	0-255
HALF_LOCKED2		&dev->lock
HALF_LOCKED2		&rdev->wiphy.mtx
HALF_LOCKED2		global &rtnl_mutex

drivers/net/ethernet/broadcom/b44.c b44_open() -> b44_free_consistent()

Type	Parameter	Key	Value
PARAM_VALUE	0	bp	4096-ptr_max
PARAM_VALUE	0	bp->dev	4096-ptr_max
PARAM_VALUE	0	bp->dev->link_watch_list.next	4096-ptr_max
PARAM_VALUE	0	bp->dev->linkwatch_dev_tracker	0,4096-ptr_max
PARAM_VALUE	0	bp->dev->rtnl_link_ops->priv_size	0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736
PARAM_VALUE	0	bp->force_copybreak	1
PARAM_VALUE	0	bp->napi->thread->delays->lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	bp->napi.config	0,4096-ptr_max
PARAM_VALUE	0	bp->napi.dev	4096-ptr_max
PARAM_VALUE	0	bp->napi.dev->lock.dep_map->name	0-255
PARAM_VALUE	0	bp->napi.dev->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	bp->napi.dev->lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	bp->napi.dev->lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	bp->napi.dev->lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	bp->napi.dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	bp->napi.dev->lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	bp->napi.napi_hash_node->next->pprev	1-u64max
PARAM_VALUE	0	bp->napi.napi_hash_node.next->pprev	1-u64max
PARAM_VALUE	0	bp->napi.napi_hash_node.pprev	0
PARAM_VALUE	0	bp->napi.thread	0,4096-ptr_max
PARAM_VALUE	0	bp->napi.thread->blocked_on	0
PARAM_VALUE	0	bp->napi.thread->cpus_ptr	4096-ptr_max
PARAM_VALUE	0	bp->napi.thread->migration_disabled	0-1
PARAM_VALUE	0	bp->napi.thread->on_rq	0-1,3-255
PARAM_VALUE	0	bp->napi.thread->saved_state	0
PARAM_VALUE	0	bp->napi.thread->wake_cpu	0-s32max
PARAM_VALUE	0	bp->napi.timer.is_queued	0
PARAM_VALUE	0	bp->napi.timer.node.node.next	0
PARAM_VALUE	0	bp->napi.timer.node.node.prev	0
PARAM_VALUE	0	bp->rx_buffers	4096-ptr_max
PARAM_VALUE	0	bp->rx_cons	0
PARAM_VALUE	0	bp->rx_prod	0
PARAM_VALUE	0	bp->rx_ring	1-ptr_max
PARAM_VALUE	0	bp->rx_ring->addr	0
PARAM_VALUE	0	bp->rx_ring->ctrl	0
PARAM_VALUE	0	bp->sdev	4096-ptr_max
PARAM_VALUE	0	bp->sdev->bus	4096-ptr_max
PARAM_VALUE	0	bp->sdev->bus->bar_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	bp->sdev->bus->host_pcmcia->socket->ops_mutex.osq.tail.counter	s32min-s32max
PARAM_VALUE	0	bp->sdev->bus->host_sdio->card->host->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	bp->sdev->bus->host_sdio->card->host->ongoing_mrq->cmd_completion.done	0-4294967293,4294967295
PARAM_VALUE	0	bp->sdev->bus->host_sdio->card->host->ongoing_mrq->uhs2_cmd.packet_len	0,4-12
PARAM_VALUE	0	bp->sdev->bus->host_sdio->card->host->ongoing_mrq->uhs2_cmd.payload_len	0-8
PARAM_VALUE	0	bp->sdev->bus->host_sdio->card->host->ongoing_mrq->uhs2_cmd.tmode_half_duplex	0-1
PARAM_VALUE	0	bp->sdev->bus->host_sdio->card->host->ongoing_mrq->uhs2_cmd.uhs2_resp_len	0,4-6,8
PARAM_VALUE	0	bp->sdev->bus->host_sdio->card->host->parent->dma_io_tlb_mem->dyn_alloc.flags	0-4294967295
PARAM_VALUE	0	bp->sdev->bus->host_sdio->card->host->parent->dma_io_tlb_mem->dyn_alloc.is_hard	0-1
PARAM_VALUE	0	bp->sdev->bus->host_sdio->card->host->parent->dma_io_tlb_mem->dyn_alloc.is_lazy	0-1
PARAM_VALUE	0	bp->sdev->bus->host_sdio->card->host->parent->dma_io_tlb_mem->dyn_alloc.is_soft	0-1
PARAM_VALUE	0	bp->sdev->bus->host_sdio->card->host->private->dev->iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	bp->sdev->bus->host_sdio->card->host->private->pdev->dev.iommu->attach_deferred	0-1
PARAM_VALUE	0	bp->sdev->bus->mapped_device->bus	4096-ptr_max
PARAM_VALUE	0	bp->sdev->bus->pcicore.setup_done	1
PARAM_VALUE	0	bp->sdev->bus->sdio_sbaddr	0-255,402653184-403697664
PARAM_VALUE	0	bp->sdev->dma_dev->cma_area->alloc_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	bp->sdev->dma_dev->cma_area->alloc_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	bp->sdev->dma_dev->cma_area->alloc_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	bp->sdev->dma_dev->cma_area->nranges	s32min-s32max
PARAM_VALUE	0	bp->sdev->dma_dev->dma_io_tlb_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	bp->sdev->dma_dev->dma_io_tlb_pools.next->prev	4096-ptr_max
PARAM_VALUE	0	bp->sdev->dma_dev->dma_io_tlb_pools.next->prev->prev	4096-ptr_max
PARAM_VALUE	0	bp->sdev->dma_dev->dma_mem->spinlock.rlock.dep_map->name	0-255
PARAM_VALUE	0	bp->sdev->dma_dev->iommu->attach_deferred	0-1
PARAM_VALUE	0	bp->sdev->dma_dev->iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	bp->sdev->ops	4096-ptr_max
PARAM_VALUE	0	bp->sdev->ops->read32	4096-ptr_max
PARAM_VALUE	0	bp->sdev->ops->write32	4096-ptr_max
PARAM_VALUE	0	bp->tx_buffers	4096-ptr_max
PARAM_VALUE	0	bp->tx_cons	0
PARAM_VALUE	0	bp->tx_prod	0
PARAM_VALUE	0	bp->tx_ring	1-ptr_max
PARAM_VALUE	0	bp->tx_ring->addr	0
PARAM_VALUE	0	bp->tx_ring->ctrl	0
PARAM_VALUE	0	*bp->dev->name	0-255
CAPPED_DATA	0	bp->napi.timer.base	1
CAPPED_DATA	0	bp->rx_pending	1
CAPPED_DATA	0	bp->sdev	1
CAPPED_DATA	0	bp->sdev->dma_dev	1
PARAM_COMPARE	0	&bp->napi.timer	!= $0->napi.timer.base->running
MEM_ZERO	0	bp->rx_ring
MEM_ZERO	0	bp->tx_ring
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	bp->sdev->bus->chipco.capabilities	0-u32max
HOST_DATA	0	bp->sdev->bus->chipco.max_timer_ms	2114-u16max,541200-u32max[c]
HOST_DATA	0	bp->sdev->bus->chipco.status	0-u32max
HOST_DATA	0	bp->sdev->bus->chipco.ticks_per_ms	1-31[c]
HOST_DATA	0	bp->sdev->bus->host_sdio->card->host->fail_mmc_request.stacktrace_depth	s64min-s64max
HOST_DATA	0	*bp->sdev->bus->host_sdio->tmpbuf	0-255
HALF_LOCKED2		global &rtnl_mutex