Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/netronome/nfp/nfpcore/nfp6000_pcie.c nfp6000_init() -> nfp_cpp_area_cache_add()

Type Parameter Key Value
PARAM_VALUE 0 cpp 4096-ptr_max
PARAM_VALUE 0 cpp->area_cache_mutex.dep_map->name 0-255
PARAM_VALUE 0 cpp->area_cache_mutex.first_waiter 0
PARAM_VALUE 0 cpp->area_cache_mutex.osq.tail.counter 0
PARAM_VALUE 0 cpp->area_cache_mutex.owner.counter 0
PARAM_VALUE 0 cpp->dev.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 cpp->dev.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 cpp->dev.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 cpp->dev.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 cpp->dev.fwnode->dev->power.set_latency_tolerance 5740181548905971712
PARAM_VALUE 0 cpp->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 cpp->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 cpp->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 cpp->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 cpp->dev.kobj.sd->active.counter (-2147483647)
PARAM_VALUE 0 cpp->dev.kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 cpp->dev.p->klist_children.get 2213798222526185472
PARAM_VALUE 0 cpp->dev.p->klist_children.put 3126867300421632000
PARAM_VALUE 0 cpp->dev.p->knode_bus.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 cpp->dev.p->knode_class.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 cpp->dev.p->knode_parent.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 cpp->dev.physical_location->dock 0
PARAM_VALUE 0 cpp->dev.physical_location->lid 0
PARAM_VALUE 0 cpp->dev.physical_location->panel 0
PARAM_VALUE 0 cpp->op 3085816943824990208
PARAM_VALUE 0 cpp->op->init 1782270024977870848
PARAM_VALUE 0 cpp->resource_lock.magic 3736018669
PARAM_VALUE 0 cpp->resource_lock.owner (-1)
PARAM_VALUE 0 cpp->resource_lock.owner_cpu 4294967295
PARAM_VALUE 1 size 65536
BUF_SIZE 0 cpp 2064
BUF_SIZE 0 cpp 2064
BUF_SIZE 0 cpp->priv 2072
DATA_SOURCE 0 cpp $0
STR_LEN 0 cpp->dev.init_name (-1)
TERMINATED 0 cpp->dev.init_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/netronome/nfp/nfpcore/nfp6000_pcie.c nfp6000_init() -> nfp_cpp_area_cache_add()

Type Parameter Key Value
PARAM_VALUE 0 cpp 4096-ptr_max
PARAM_VALUE 0 cpp->area_cache_mutex.dep_map->name 0-255
PARAM_VALUE 0 cpp->area_cache_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 cpp->area_cache_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 cpp->area_cache_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 cpp->area_cache_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 cpp->area_cache_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 cpp->area_cache_mutex.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 cpp->area_cache_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 cpp->area_cache_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 cpp->area_cache_mutex.owner.counter 0
PARAM_VALUE 0 cpp->dev.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 cpp->dev.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 cpp->dev.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 cpp->dev.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 cpp->dev.fwnode->dev->power.set_latency_tolerance 5740181548905971712
PARAM_VALUE 0 cpp->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 cpp->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 cpp->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 cpp->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 cpp->dev.kobj.sd->active.counter (-2147483647)
PARAM_VALUE 0 cpp->dev.kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 cpp->dev.p->klist_children.get 2213798222526185472
PARAM_VALUE 0 cpp->dev.p->klist_children.put 3126867300421632000
PARAM_VALUE 0 cpp->dev.p->knode_bus.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 cpp->dev.p->knode_class.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 cpp->dev.p->knode_parent.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 cpp->dev.physical_location->dock 0
PARAM_VALUE 0 cpp->dev.physical_location->lid 0
PARAM_VALUE 0 cpp->dev.physical_location->panel 0
PARAM_VALUE 0 cpp->op->init 1782270024977870848
PARAM_VALUE 0 cpp->resource_lock.magic 3736018669
PARAM_VALUE 0 cpp->resource_lock.owner (-1)
PARAM_VALUE 0 cpp->resource_lock.owner_cpu 4294967295
PARAM_VALUE 1 size 65536
BUF_SIZE 0 cpp 2064
BUF_SIZE 0 cpp 2064
BUF_SIZE 0 cpp->priv 2072
DATA_SOURCE 0 cpp $0
STR_LEN 0 cpp->dev.init_name (-1)
TERMINATED 0 cpp->dev.init_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/netronome/nfp/nfpcore/nfp6000_pcie.c nfp6000_init() -> nfp_cpp_area_cache_add()

Type Parameter Key Value
PARAM_VALUE 0 cpp 4096-ptr_max
PARAM_VALUE 0 cpp->area_cache_mutex.dep_map->name 0-255
PARAM_VALUE 0 cpp->area_cache_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 cpp->area_cache_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 cpp->area_cache_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 cpp->area_cache_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 cpp->area_cache_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 cpp->area_cache_mutex.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 cpp->area_cache_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 cpp->area_cache_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 cpp->area_cache_mutex.owner.counter 0
PARAM_VALUE 0 cpp->dev.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 cpp->dev.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 cpp->dev.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 cpp->dev.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 cpp->dev.fwnode->dev->power.set_latency_tolerance 5740181548905971712
PARAM_VALUE 0 cpp->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 cpp->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 cpp->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 cpp->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 cpp->dev.kobj.sd->active.counter (-2147483647)
PARAM_VALUE 0 cpp->dev.kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 cpp->dev.p->klist_children.get 2213798222526185472
PARAM_VALUE 0 cpp->dev.p->klist_children.put 3126867300421632000
PARAM_VALUE 0 cpp->dev.p->knode_bus.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 cpp->dev.p->knode_class.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 cpp->dev.p->knode_parent.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 cpp->dev.physical_location->dock 0
PARAM_VALUE 0 cpp->dev.physical_location->lid 0
PARAM_VALUE 0 cpp->dev.physical_location->panel 0
PARAM_VALUE 0 cpp->op->init 1782270024977870848
PARAM_VALUE 0 cpp->resource_lock.magic 3736018669
PARAM_VALUE 0 cpp->resource_lock.owner (-1)
PARAM_VALUE 0 cpp->resource_lock.owner_cpu 4294967295
PARAM_VALUE 1 size 262144
BUF_SIZE 0 cpp 2064
BUF_SIZE 0 cpp 2064
BUF_SIZE 0 cpp->priv 2072
DATA_SOURCE 0 cpp $0
STR_LEN 0 cpp->dev.init_name (-1)
TERMINATED 0 cpp->dev.init_name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock