rtl8168_driver_stop identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/net/ethernet/realtek/r8169_main.c, line 1546 (as a function)

Referenced in 1 files:

drivers/net/ethernet/realtek/r8169_main.c
- line 5026
- line 5293

Smatch caller information:

drivers/net/ethernet/realtek/r8169_main.c rtl8169_down() -> rtl8168_driver_stop()

Type	Parameter	Key	Value
PARAM_VALUE	0	tp	4096-ptr_max
PARAM_VALUE	0	tp->cur_rx	0
PARAM_VALUE	0	tp->cur_tx	0
PARAM_VALUE	0	tp->dash_type	1-u32max
PARAM_VALUE	0	tp->dev	4096-ptr_max
PARAM_VALUE	0	tp->dirty_tx	0
PARAM_VALUE	0	tp->mac_ocp_lock.dep_map->name	0-255
PARAM_VALUE	0	tp->napi.config	0,4096-ptr_max
PARAM_VALUE	0	tp->napi.dev	4096-ptr_max
PARAM_VALUE	0	tp->napi.dev->lock.dep_map->name	0-255
PARAM_VALUE	0	tp->napi.dev->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	tp->napi.dev->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	tp->napi.dev->lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	tp->napi.dev->lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	tp->napi.dev->lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	tp->napi.dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	tp->napi.dev->lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	tp->napi.napi_hash_node->next->pprev	1-u64max
PARAM_VALUE	0	tp->napi.napi_hash_node.next->pprev	1-u64max
PARAM_VALUE	0	tp->napi.napi_hash_node.pprev	0
PARAM_VALUE	0	tp->napi.timer.is_queued	0
PARAM_VALUE	0	tp->napi.timer.node.node.next	0
PARAM_VALUE	0	tp->napi.timer.node.node.prev	0
PARAM_VALUE	0	tp->pci_dev	4096-ptr_max
PARAM_VALUE	0	tp->pci_dev->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	tp->pci_dev->error_state	0-2,4-u32max
PARAM_VALUE	0	tp->pci_dev->is_busmaster	0
PARAM_VALUE	0	tp->phydev	4096-ptr_max
PARAM_VALUE	0	tp->phydev->asym_pause	0
PARAM_VALUE	0	tp->phydev->drv->flags	0-2,4-5,8
PARAM_VALUE	0	tp->phydev->drv->phy_id_mask	0,1048512,1048560,1048574,16777212,16777215,268435440,429496627,4294966272,4294967247,4294967272,4294967279-4294967280,4294967282,4294967289,4294967292,4294967294-u32max
PARAM_VALUE	0	tp->phydev->mdio.bus->mdio_lock->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	tp->phydev->mdio.bus->mdio_lock.dep_map->name	0-255
PARAM_VALUE	0	tp->phydev->mdio.bus->mdio_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	tp->phydev->mdio.bus->mdio_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	tp->phydev->mdio.bus->mdio_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	tp->phydev->mdio.bus->mdio_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	tp->phydev->mdio.bus->mdio_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	tp->phydev->mdio.bus->mdio_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	tp->phydev->pause	0
PARAM_VALUE	0	tp->phydev->state	0-4
PARAM_VALUE	0	tp->saved_wolopts	0
PARAM_VALUE	0	tp->wk.work.lockdep_map->name	0-255
PARAM_VALUE	0	*tp->dev->name	0-255
BUF_SIZE	0	tp	s32min-(-1),1-s32max
BUF_SIZE	0	tp	s32min-(-1),1-s32max
CAPPED_DATA	0	tp->dev->num_tx_queues	1
CAPPED_DATA	0	tp->napi.timer.base	1
CAPPED_DATA	0	&tp->wk.work	1
DATA_SOURCE	0	tp	$0
PARAM_COMPARE	0	&tp->napi.timer	!= $0->napi.timer.base->running
MEM_ZERO	0	tp->wk.flags
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	tp->phydev->skb->data->nlmsg_flags	0-u16max[u]
USER_DATA	0	tp->phydev->skb->data->nlmsg_len	0-4294967295[u]
USER_DATA	0	tp->phydev->skb->data->nlmsg_pid	0-4294967295[u]
USER_DATA	0	tp->phydev->skb->data->nlmsg_type	0-u16max[u]
UNITS	0	tp	unit_byte
HALF_LOCKED2		global &rtnl_mutex

drivers/net/ethernet/realtek/r8169_main.c rtl_remove_one() -> rtl8168_driver_stop()

Type	Parameter	Key	Value
PARAM_VALUE	0	tp	4096-ptr_max
PARAM_VALUE	0	tp->dash_type	1-u32max
PARAM_VALUE	0	tp->dev	4096-ptr_max
PARAM_VALUE	0	tp->dev->nd_net.net	4096-ptr_max
PARAM_VALUE	0	tp->dev->nd_net.net->dev_unreg_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	tp->dev->nd_net.net->notrefcnt_tracker.dead	1
PARAM_VALUE	0	tp->dev->nd_net.net->rtnl_mutex.dep_map->name	0-255
PARAM_VALUE	0	tp->dev->nd_net.net->rtnl_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	tp->dev->nd_net.net->rtnl_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	tp->dev->nd_net.net->rtnl_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	tp->dev->nd_net.net->rtnl_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	tp->dev->nd_net.net->rtnl_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	tp->leds->led->dev->driver_data->cis_virt	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	tp->leds->led.blink_timer.lockdep_map->name	0-255
PARAM_VALUE	0	tp->leds->led.dev->devres_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	tp->leds->led.dev->driver_data->callback->add	5235430000054906880
PARAM_VALUE	0	tp->leds->led.dev->driver_data->callback->early_resume	6956900869090054144
PARAM_VALUE	0	tp->leds->led.dev->driver_data->callback->remove	1719268733136482304
PARAM_VALUE	0	tp->leds->led.dev->driver_data->callback->requery	4713442613417914368
PARAM_VALUE	0	tp->leds->led.dev->driver_data->callback->resume	5068206944467017728
PARAM_VALUE	0	tp->leds->led.dev->driver_data->callback->suspend	2738892915008757760
PARAM_VALUE	0	tp->leds->led.dev->driver_data->callback->validate	4934365872137547776
PARAM_VALUE	0	tp->leds->led.dev->driver_data->cis_mem.flags	0,2-254
PARAM_VALUE	0	tp->leds->led.dev->driver_data->d_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	tp->leds->led.dev->driver_data->detaching.counter	s32min-s32max
PARAM_VALUE	0	tp->leds->led.dev->driver_data->dev.kobj.kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	tp->leds->led.dev->driver_data->dev.kobj.release.cpu	s32min-s32max
PARAM_VALUE	0	tp->leds->led.dev->driver_data->dev.kobj.release.timer.flags	0-4294967295
PARAM_VALUE	0	tp->leds->led.dev->driver_data->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	tp->leds->led.dev->driver_data->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	tp->leds->led.dev->driver_data->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	tp->leds->led.dev->driver_data->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	tp->leds->led.dev->driver_data->dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	tp->leds->led.dev->driver_data->dev.parent->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	tp->leds->led.dev->driver_data->dev.parent->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	tp->leds->led.dev->driver_data->device_count	0-1
PARAM_VALUE	0	tp->leds->led.dev->driver_data->ops_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	tp->leds->led.dev->driver_data->ops_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	tp->leds->led.dev->driver_data->ops_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	tp->leds->led.dev->driver_data->ops_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	tp->leds->led.dev->driver_data->ops_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	tp->leds->led.dev->driver_data->sfd_lock.dep_map->name	0-255
PARAM_VALUE	0	tp->leds->led.dev->driver_data->sfd_lock.raw_lock.cnts.counter	s32min-s32max
PARAM_VALUE	0	tp->leds->led.dev->driver_data->skt_mutex.dep_map->name	0-255
PARAM_VALUE	0	tp->leds->led.dev->driver_data->skt_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	tp->leds->led.dev->driver_data->skt_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	tp->leds->led.dev->driver_data->skt_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	tp->leds->led.dev->driver_data->skt_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	tp->leds->led.dev->driver_data->skt_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	tp->leds->led.dev->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	tp->leds->led.dev->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	tp->leds->led.dev->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	tp->leds->led.dev->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	tp->leds->led.dev->p->dead	1
PARAM_VALUE	0	tp->leds->led.dev->p->knode_class.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	tp->leds->led.dev->p->knode_parent.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	tp->leds->led.dev->parent->driver_data->lock.dep_map->name	0-255
PARAM_VALUE	0	tp->leds->led.dev->power.completion.done	4294967295
PARAM_VALUE	0	tp->leds->led.dev->power.last_status	s32min-0,2,4-s32max
PARAM_VALUE	0	tp->leds->led.dev->power.qos	(-19),0
PARAM_VALUE	0	tp->leds->led.dev->power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	tp->leds->led.dev->power.runtime_status	2
PARAM_VALUE	0	tp->leds->led.dev->power.usage_count.counter	0-s32max
PARAM_VALUE	0	tp->leds->led.dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	tp->leds->led.set_brightness_work.lockdep_map->name	0-255
PARAM_VALUE	0	tp->leds->led.trigger_data->led_cdev->dev->kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	tp->leds->led.trigger_data->lock->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	tp->leds->led.trigger_data->lock->wait_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	tp->leds->led.trigger_data->net_dev->refcnt_tracker.quarantine_avail	0-4294967295
PARAM_VALUE	0	tp->leds->led.trigger_data->net_dev->refcnt_tracker.untracked.refs.counter	s32min-s32max
PARAM_VALUE	0	tp->leds->led.trigger_data->timer.lockdep_map->name	0-255
PARAM_VALUE	0	tp->leds->led.trigger_lock.first_waiter->handoff_set	1
PARAM_VALUE	0	tp->leds->led.trigger_lock.first_waiter->type	0-1
PARAM_VALUE	0	tp->wk.work.lockdep_map->name	0-255
BUF_SIZE	0	tp	s32min-(-2),1-s32max
BUF_SIZE	0	tp	s32min-(-2),1-s32max
CAPPED_DATA	0	tp->dev->nd_net.net	1
CAPPED_DATA	0	tp->leds	1
CAPPED_DATA	0	&tp->wk.work	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	tp	unit_byte