Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/ethernet/netronome/nfp/nfpcore/nfp_rtsym.c __nfp_rtsym_readl() -> nfp_cpp_readl()

Type Parameter Key Value
PARAM_VALUE 1 cpp_id 0-s32max
PARAM_VALUE 3 value 234380765320380416,2216290503485030400,3669113571015327744
DATA_SOURCE 0 cpp $0
DATA_SOURCE 3 value $5
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/netronome/nfp/nfpcore/nfp_mutex.c nfp_cpp_mutex_alloc() -> nfp_cpp_readl()

Type Parameter Key Value
PARAM_VALUE 0 cpp 4096-ptr_max
PARAM_VALUE 1 cpp_id 117441280
PARAM_VALUE 2 address 554050781188-554050785252
PARAM_VALUE 3 value 2492521788298424320
DATA_SOURCE 0 cpp $0
STR_LEN 0 cpp (-1),6,8
STR_LEN 0 cpp (-1),6,8
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/netronome/nfp/nfpcore/nfp_mutex.c nfp_cpp_mutex_reclaim() -> nfp_cpp_readl()

Type Parameter Key Value
PARAM_VALUE 0 cpp 4096-ptr_max
PARAM_VALUE 1 cpp_id 117441280
PARAM_VALUE 2 address 554050781184,554050781216-554050785248
PARAM_VALUE 3 value 6416476553747722240
DATA_SOURCE 0 cpp $0
DATA_SOURCE 2 address $2
FUZZY_MAX 2 address 554050785248
HARD_MAX 2 address 554050785248
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/netronome/nfp/nfpcore/nfp_mutex.c nfp_cpp_mutex_trylock() -> nfp_cpp_readl()

Type Parameter Key Value
PARAM_VALUE 1 cpp_id 117441280
PARAM_VALUE 3 value 6456537624544878592
STR_LEN 0 cpp (-1),6,8
STR_LEN 0 cpp (-1),6,8
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/netronome/nfp/nfpcore/nfp_mutex.c nfp_cpp_mutex_trylock() -> nfp_cpp_readl()

Type Parameter Key Value
PARAM_VALUE 0 cpp 4096-ptr_max
PARAM_VALUE 1 cpp_id 117638400
PARAM_VALUE 3 value 8395371627496411136
STR_LEN 0 cpp (-1),6,8
STR_LEN 0 cpp (-1),6,8
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/netronome/nfp/nfpcore/nfp_mutex.c nfp_cpp_mutex_unlock() -> nfp_cpp_readl()

Type Parameter Key Value
PARAM_VALUE 0 cpp 4096-ptr_max
PARAM_VALUE 1 cpp_id 768,16777984-2130707200
PARAM_VALUE 3 value 576956021053046784
STR_LEN 0 cpp (-1),6,8
STR_LEN 0 cpp (-1),6,8
BIT_INFO 1 cpp_id 0x300,0x7f000300
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/netronome/nfp/nfpcore/nfp_mutex.c nfp_cpp_mutex_unlock() -> nfp_cpp_readl()

Type Parameter Key Value
PARAM_VALUE 0 cpp 4096-ptr_max
PARAM_VALUE 1 cpp_id 768,16777984-2130707200
PARAM_VALUE 3 value 5236321936476930048
STR_LEN 0 cpp (-1),6,8
STR_LEN 0 cpp (-1),6,8
BIT_INFO 1 cpp_id 0x300,0x7f000300
RX_PATH
TASK_NOT_RUNNING

drivers/net/ethernet/netronome/nfp/nfpcore/nfp_cppcore.c nfp_cpp_from_operations() -> nfp_cpp_readl()

Type Parameter Key Value
PARAM_VALUE 0 cpp 4096-ptr_max
PARAM_VALUE 0 cpp->area_cache_list.next->next 4096-ptr_max
PARAM_VALUE 0 cpp->area_cache_list.prev->next 4096-ptr_max
PARAM_VALUE 0 cpp->area_cache_list.prev->prev 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->list.prev->prev 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->dev.devres_head.next->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.devres_head.prev->prev 4096-ptr_max
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.dma_io_tlb_pools.next->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.dma_io_tlb_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.dma_io_tlb_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 cpp->dev.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.dma_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.dma_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 cpp->dev.flags 4096-ptr_max
PARAM_VALUE 0 cpp->dev.fwnode->dev->power.set_latency_tolerance 5740181548905971712
PARAM_VALUE 0 cpp->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 cpp->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 cpp->dev.kobj.sd->active.counter (-2147483647)
PARAM_VALUE 0 cpp->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 cpp->dev.links.consumers.next->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.links.consumers.prev->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.links.consumers.prev->prev 4096-ptr_max
PARAM_VALUE 0 cpp->dev.links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 cpp->dev.links.suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.links.suppliers.prev->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.links.suppliers.prev->prev 4096-ptr_max
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.parent->bus 0,4096-ptr_max
PARAM_VALUE 0 cpp->dev.parent->class 0,4096-ptr_max
PARAM_VALUE 0 cpp->dev.parent->dma_mask 4096-ptr_max
PARAM_VALUE 0 cpp->dev.parent->driver 0,4096-ptr_max
PARAM_VALUE 0 cpp->dev.parent->driver_data 4096-ptr_max
PARAM_VALUE 0 cpp->dev.physical_location->horizontal_position 0-3
PARAM_VALUE 0 cpp->dev.physical_location->panel 0-7
PARAM_VALUE 0 cpp->dev.physical_location->vertical_position 0-3
PARAM_VALUE 0 cpp->dev.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 cpp->dev.power.wait_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.power.wait_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.power.wait_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 cpp->imb_cat_table 4096-ptr_max
PARAM_VALUE 0 cpp->op->init 1782270024977870848
PARAM_VALUE 0 cpp->resource_list.prev->next 4096-ptr_max
PARAM_VALUE 0 cpp->resource_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 cpp->resource_lock.dep_map->name 0-255
PARAM_VALUE 0 cpp->waitq.head.next->next 4096-ptr_max
PARAM_VALUE 0 cpp->waitq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 cpp->waitq.head.prev->prev 4096-ptr_max
PARAM_VALUE 1 cpp_id 167780352
PARAM_VALUE 2 address 4194636
PARAM_VALUE 3 value 8240991253737713664
BUF_SIZE 0 cpp 2064
BUF_SIZE 3 value 8
CAPPED_DATA 0 &cpp->dev 1
DATA_SOURCE 0 cpp r _kzalloc_noprof
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/nfp_cppcore.c nfp_cpp_from_operations() -> nfp_cpp_readl()

Type Parameter Key Value
PARAM_VALUE 0 cpp 4096-ptr_max
PARAM_VALUE 0 cpp->area_cache_list.next->next 4096-ptr_max
PARAM_VALUE 0 cpp->area_cache_list.prev->next 4096-ptr_max
PARAM_VALUE 0 cpp->area_cache_list.prev->prev 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->list.prev->prev 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->dev.devres_head.next->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.devres_head.prev->prev 4096-ptr_max
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.dma_io_tlb_pools.next->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.dma_io_tlb_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.dma_io_tlb_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 cpp->dev.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.dma_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.dma_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 cpp->dev.flags 4096-ptr_max
PARAM_VALUE 0 cpp->dev.fwnode->dev->power.set_latency_tolerance 5740181548905971712
PARAM_VALUE 0 cpp->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 cpp->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 cpp->dev.kobj.sd->active.counter (-2147483647)
PARAM_VALUE 0 cpp->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 cpp->dev.links.consumers.next->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.links.consumers.prev->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.links.consumers.prev->prev 4096-ptr_max
PARAM_VALUE 0 cpp->dev.links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 cpp->dev.links.suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.links.suppliers.prev->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.links.suppliers.prev->prev 4096-ptr_max
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.parent->bus 0,4096-ptr_max
PARAM_VALUE 0 cpp->dev.parent->class 0,4096-ptr_max
PARAM_VALUE 0 cpp->dev.parent->dma_mask 4096-ptr_max
PARAM_VALUE 0 cpp->dev.parent->driver 0,4096-ptr_max
PARAM_VALUE 0 cpp->dev.parent->driver_data 4096-ptr_max
PARAM_VALUE 0 cpp->dev.physical_location->horizontal_position 0-3
PARAM_VALUE 0 cpp->dev.physical_location->panel 0-7
PARAM_VALUE 0 cpp->dev.physical_location->vertical_position 0-3
PARAM_VALUE 0 cpp->dev.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 cpp->dev.power.wait_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.power.wait_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 cpp->dev.power.wait_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 cpp->imb_cat_table 4096-ptr_max
PARAM_VALUE 0 cpp->op->init 1782270024977870848
PARAM_VALUE 0 cpp->resource_list.prev->next 4096-ptr_max
PARAM_VALUE 0 cpp->resource_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 cpp->resource_lock.dep_map->name 0-255
PARAM_VALUE 0 cpp->waitq.head.next->next 4096-ptr_max
PARAM_VALUE 0 cpp->waitq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 cpp->waitq.head.prev->prev 4096-ptr_max
PARAM_VALUE 1 cpp_id 167780352
PARAM_VALUE 2 address 4194640
PARAM_VALUE 3 value 8240991253737713668
BUF_SIZE 0 cpp 2064
CAPPED_DATA 0 &cpp->dev 1
DATA_SOURCE 0 cpp r _kzalloc_noprof
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/nfp_cppcore.c nfp_xpb_readl() -> nfp_cpp_readl()

Type Parameter Key Value
PARAM_VALUE 0 cpp->op->init 1782270024977870848
PARAM_VALUE 1 cpp_id 234889216
BUF_SIZE 0 cpp (-1),2064
BUF_SIZE 0 cpp (-1),2064
BUF_SIZE 0 cpp->priv (-1),2072
DATA_SOURCE 0 cpp $0
DATA_SOURCE 1 cpp_id r nfp_xpb_to_cpp
DATA_SOURCE 2 address $1 [m]
DATA_SOURCE 3 value $2
STR_LEN 0 cpp->dev.init_name (-1)
RX_PATH
TASK_NOT_RUNNING