Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/ethernet/mscc/ocelot_vsc7514.c mscc_ocelot_remove() -> ocelot_deinit_timestamp()

Type Parameter Key Value
PARAM_VALUE 0 ocelot 4096-ptr_max
PARAM_VALUE 0 ocelot->devlink 4096-ptr_max
PARAM_VALUE 0 ocelot->devlink->index 0-4294967295
PARAM_VALUE 0 ocelot->devlink->lock->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 ocelot->devlink->lock.dep_map->name 0-255
PARAM_VALUE 0 ocelot->devlink->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ocelot->devlink->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ocelot->devlink->nested_rels.xa_flags 0-4294967295
PARAM_VALUE 0 ocelot->devlink->params.xa_flags 0-4294967295
PARAM_VALUE 0 ocelot->devlink->ports.xa_flags 0-4294967295
PARAM_VALUE 0 ocelot->devlink->refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 ocelot->devlink->rel 0
PARAM_VALUE 0 ocelot->devlink->reload_failed 0-1
PARAM_VALUE 0 ocelot->devlink->snapshot_ids.xa_flags 0-4294967295
PARAM_VALUE 0 ocelot->fdma 0,4096-ptr_max
PARAM_VALUE 0 ocelot->fdma->napi.dev 4096-ptr_max
PARAM_VALUE 0 ocelot->fdma->napi.dev->lock.dep_map->name 0-255
PARAM_VALUE 0 ocelot->fdma->napi.dev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ocelot->fdma->napi.dev->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ocelot->fdma->napi.dev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 ocelot->fdma->napi.dev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 ocelot->fdma->napi.dev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 ocelot->fdma->napi.dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 ocelot->fdma->napi.dev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 ocelot->fdma->napi.napi_hash_node->next->pprev 1-u64max
PARAM_VALUE 0 ocelot->fdma->napi.napi_hash_node.next->pprev 1-u64max
PARAM_VALUE 0 ocelot->fdma->napi.napi_hash_node.pprev 0
PARAM_VALUE 0 ocelot->fdma->napi.timer.is_queued 0
PARAM_VALUE 0 ocelot->fdma->napi.timer.node.node.next 0
PARAM_VALUE 0 ocelot->fdma->napi.timer.node.node.prev 0
PARAM_VALUE 0 *ocelot->devlink->_net.net->netns_ids.idr_rt.xa_head (-4611686018427387904)-4611686018427387903
BUF_SIZE 0 ocelot s32min-(-2),1-s32max
BUF_SIZE 0 ocelot s32min-(-2),1-s32max
CAPPED_DATA 0 ocelot->devlink 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ocelot unit_byte
HALF_LOCKED2 &_dev->mutex

drivers/net/dsa/ocelot/felix.c felix_setup() -> ocelot_deinit_timestamp()

Type Parameter Key Value
PARAM_VALUE 0 ocelot 4096-ptr_max
PARAM_VALUE 0 ocelot->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 ocelot->dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 ocelot->dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ocelot->dummy_rules.next 4096-ptr_max
PARAM_VALUE 0 ocelot->dummy_rules.next->next 4096-ptr_max
PARAM_VALUE 0 ocelot->dummy_rules.prev 4096-ptr_max
PARAM_VALUE 0 ocelot->dummy_rules.prev->next 4096-ptr_max
PARAM_VALUE 0 ocelot->dummy_rules.prev->prev 4096-ptr_max
PARAM_VALUE 0 ocelot->fwd_domain_lock.dep_map->name 0-255
PARAM_VALUE 0 ocelot->fwd_domain_lock.first_waiter 0
PARAM_VALUE 0 ocelot->fwd_domain_lock.magic 4096-ptr_max
PARAM_VALUE 0 ocelot->fwd_domain_lock.owner.counter 0
PARAM_VALUE 0 ocelot->lag_fdbs.next 4096-ptr_max
PARAM_VALUE 0 ocelot->lag_fdbs.next->next 4096-ptr_max
PARAM_VALUE 0 ocelot->lag_fdbs.prev 4096-ptr_max
PARAM_VALUE 0 ocelot->lag_fdbs.prev->next 4096-ptr_max
PARAM_VALUE 0 ocelot->lag_fdbs.prev->prev 4096-ptr_max
PARAM_VALUE 0 ocelot->mact_lock.dep_map->name 0-255
PARAM_VALUE 0 ocelot->mact_lock.first_waiter 0
PARAM_VALUE 0 ocelot->mact_lock.magic 4096-ptr_max
PARAM_VALUE 0 ocelot->mact_lock.osq.tail.counter 0
PARAM_VALUE 0 ocelot->mact_lock.owner.counter 0
PARAM_VALUE 0 ocelot->mm 1-u64max
PARAM_VALUE 0 ocelot->mm->active_preemptible_tcs 0
PARAM_VALUE 0 ocelot->mm->preemptible_tcs 0
PARAM_VALUE 0 ocelot->mm->tx_active 0
PARAM_VALUE 0 ocelot->mm->tx_enabled 0
PARAM_VALUE 0 ocelot->mm->verify_status 0-5
PARAM_VALUE 0 ocelot->multicast.next 4096-ptr_max
PARAM_VALUE 0 ocelot->multicast.next->next 4096-ptr_max
PARAM_VALUE 0 ocelot->multicast.prev 4096-ptr_max
PARAM_VALUE 0 ocelot->multicast.prev->next 4096-ptr_max
PARAM_VALUE 0 ocelot->multicast.prev->prev 4096-ptr_max
PARAM_VALUE 0 ocelot->num_frame_refs 0-u16max
PARAM_VALUE 0 ocelot->ops 4096-ptr_max
PARAM_VALUE 0 ocelot->ops->wm_enc 4096-ptr_max
PARAM_VALUE 0 ocelot->owq 4096-ptr_max
PARAM_VALUE 0 ocelot->packet_buffer_size 0-15728400
PARAM_VALUE 0 ocelot->pgids.next 4096-ptr_max
PARAM_VALUE 0 ocelot->pgids.next->next 4096-ptr_max
PARAM_VALUE 0 ocelot->pgids.prev 4096-ptr_max
PARAM_VALUE 0 ocelot->pgids.prev->next 4096-ptr_max
PARAM_VALUE 0 ocelot->pgids.prev->prev 4096-ptr_max
PARAM_VALUE 0 ocelot->psfp.lock.dep_map->name 0-255
PARAM_VALUE 0 ocelot->psfp.lock.first_waiter 0
PARAM_VALUE 0 ocelot->psfp.lock.magic 4096-ptr_max
PARAM_VALUE 0 ocelot->psfp.lock.osq.tail.counter 0
PARAM_VALUE 0 ocelot->psfp.lock.owner.counter 0
PARAM_VALUE 0 ocelot->psfp.sfi_list.next 4096-ptr_max
PARAM_VALUE 0 ocelot->psfp.sfi_list.next->next 4096-ptr_max
PARAM_VALUE 0 ocelot->psfp.sfi_list.prev 4096-ptr_max
PARAM_VALUE 0 ocelot->psfp.sfi_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ocelot->psfp.sfi_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ocelot->psfp.sgi_list.next 4096-ptr_max
PARAM_VALUE 0 ocelot->psfp.sgi_list.next->next 4096-ptr_max
PARAM_VALUE 0 ocelot->psfp.sgi_list.prev 4096-ptr_max
PARAM_VALUE 0 ocelot->psfp.sgi_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ocelot->psfp.sgi_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ocelot->psfp.stream_list.next 4096-ptr_max
PARAM_VALUE 0 ocelot->psfp.stream_list.next->next 4096-ptr_max
PARAM_VALUE 0 ocelot->psfp.stream_list.prev 4096-ptr_max
PARAM_VALUE 0 ocelot->psfp.stream_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ocelot->psfp.stream_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ocelot->stat_view_lock.dep_map->name 0-255
PARAM_VALUE 0 ocelot->stat_view_lock.first_waiter 0
PARAM_VALUE 0 ocelot->stat_view_lock.magic 4096-ptr_max
PARAM_VALUE 0 ocelot->stat_view_lock.osq.tail.counter 0
PARAM_VALUE 0 ocelot->stat_view_lock.owner.counter 0
PARAM_VALUE 0 ocelot->stats 1-u64max
PARAM_VALUE 0 ocelot->stats_queue 4096-ptr_max
PARAM_VALUE 0 ocelot->stats_regions.next 4096-ptr_max
PARAM_VALUE 0 ocelot->stats_regions.next->next 4096-ptr_max
PARAM_VALUE 0 ocelot->stats_regions.prev 4096-ptr_max
PARAM_VALUE 0 ocelot->stats_work.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 ocelot->targets 4096-ptr_max
PARAM_VALUE 0 ocelot->traps.next 4096-ptr_max
PARAM_VALUE 0 ocelot->traps.next->next 4096-ptr_max
PARAM_VALUE 0 ocelot->traps.prev 4096-ptr_max
PARAM_VALUE 0 ocelot->traps.prev->next 4096-ptr_max
PARAM_VALUE 0 ocelot->traps.prev->prev 4096-ptr_max
PARAM_VALUE 0 ocelot->vcap_pol.pol_list.next 4096-ptr_max
PARAM_VALUE 0 ocelot->vcap_pol.pol_list.next->next 4096-ptr_max
PARAM_VALUE 0 ocelot->vcap_pol.pol_list.prev 4096-ptr_max
PARAM_VALUE 0 ocelot->vcap_pol.pol_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ocelot->vcap_pol.pol_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ocelot->vlans.next 4096-ptr_max
PARAM_VALUE 0 ocelot->vlans.next->next 4096-ptr_max
PARAM_VALUE 0 ocelot->vlans.prev 4096-ptr_max
PARAM_VALUE 0 ocelot->vlans.prev->next 4096-ptr_max
PARAM_VALUE 0 ocelot->vlans.prev->prev 4096-ptr_max
BUF_SIZE 0 ocelot s32min-(-2),1-s32max
BUF_SIZE 0 ocelot s32min-(-2),1-s32max
CAPPED_DATA 0 ocelot->num_flooding_pgids 1
CAPPED_DATA 0 ocelot->num_phys_ports 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ocelot->num_phys_ports
UNITS 0 ocelot unit_byte
HALF_LOCKED2 global &dsa2_mutex

drivers/net/dsa/ocelot/felix.c felix_teardown() -> ocelot_deinit_timestamp()

Type Parameter Key Value
PARAM_VALUE 0 ocelot 4096-ptr_max
PARAM_VALUE 0 ocelot->devlink 4096-ptr_max
PARAM_VALUE 0 ocelot->devlink->lock.dep_map->name 0-255
PARAM_VALUE 0 ocelot->devlink->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ocelot->devlink->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ocelot->devlink->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
BUF_SIZE 0 ocelot s32min-(-2),1-s32max
BUF_SIZE 0 ocelot s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ocelot unit_byte
LOCK2 global &dsa2_mutex