Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/ec_bhf.c ec_bhf_open() -> ec_bhf_alloc_dma_mem()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->fifo_io 4096-ptr_max
PARAM_VALUE 0 priv->mac_io 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 3 size 131072
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/ec_bhf.c ec_bhf_open() -> ec_bhf_alloc_dma_mem()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->dev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 priv->dev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 priv->dev->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 priv->dev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 priv->dev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->dev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 priv->dev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 priv->dev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->dev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 priv->dev->dev.iommu->pci_32bit_workaround 0
PARAM_VALUE 0 priv->fifo_io 4096-ptr_max
PARAM_VALUE 0 priv->mac_io 4096-ptr_max
PARAM_VALUE 0 priv->rx_buf.alloc 1-ptr_max
PARAM_VALUE 0 priv->rx_buf.buf 4096-ptr_max
PARAM_VALUE 0 priv->rx_buf.buf_phys 0,4-4294967292
PARAM_VALUE 0 priv->rx_buf.len 0-131072,18446744071562067968-u64max
PARAM_VALUE 0 priv->rx_dcount 0-64
PARAM_VALUE 0 priv->rx_descs 4096-ptr_max
PARAM_VALUE 0 priv->rx_dnext 0
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 3 size 130560
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 priv->rx_buf.buf_phys 0,4-4294967292[c]
HALF_LOCKED2 global &rtnl_mutex