rt2x00queue_free identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/net/wireless/ralink/rt2x00/rt2x00lib.h, line 189 (as a prototype)

Defined in 1 files as a function:

drivers/net/wireless/ralink/rt2x00/rt2x00queue.c, line 1281 (as a function)

Referenced in 1 files:

drivers/net/wireless/ralink/rt2x00/rt2x00dev.c, line 1574

Smatch caller information:

drivers/net/wireless/ralink/rt2x00/rt2x00dev.c rt2x00lib_remove_dev() -> rt2x00queue_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	rt2x00dev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->autowakeup_work.work.lockdep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->debugfs_intf	0
PARAM_VALUE	0	rt2x00dev->dev->cma_area->nranges	s32min-s32max
PARAM_VALUE	0	rt2x00dev->fw	0
PARAM_VALUE	0	rt2x00dev->hw	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->hw->wiphy	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->intf_work.lockdep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev->dev->driver_data->cis_virt	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.blink_timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.blink_timer.flags	0-4194302
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.blink_timer.lockdep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->devres_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->callback->add	5235430000054906880
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->callback->early_resume	6956900869090054144
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->callback->remove	1719268733136482304
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->callback->requery	4713442613417914368
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->callback->resume	5068206944467017728
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->callback->suspend	2738892915008757760
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->callback->validate	4934365872137547776
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->cis_mem.flags	0,2-254
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->d_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->detaching.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->dev.kobj.kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->dev.kobj.release.cpu	s32min-s32max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->dev.kobj.release.timer.flags	0-4294967295
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->device_count	0-1
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->ops_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->ops_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->ops_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->sfd_lock.dep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->sfd_lock.raw_lock.cnts.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->skt_mutex.dep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->skt_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->skt_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->driver_data->skt_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->kobj->release.timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->kobj.entry.prev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->kobj.parent->release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->p->dead	1
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->p->knode_class.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->p->knode_parent.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->parent->driver_data->lock.dep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->parent->kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->power.completion.done	u32max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->power.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->power.last_status	s32min-0,2,4-s32max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->power.qos	0,(-19)
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->power.runtime_status	2
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->power.usage_count.counter	0-s32max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.set_brightness_work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.set_brightness_work.lockdep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.trig_list.next	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.trigger	0,4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.trigger->led_cdevs.prev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.trigger_data->led_cdev->dev->kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.trigger_data->lock->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.trigger_data->lock->wait_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.trigger_data->net_dev->refcnt_tracker.quarantine_avail	0-4294967295
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.trigger_data->timer.lockdep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.trigger_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.trigger_lock.first_waiter->type	0-1
PARAM_VALUE	0	rt2x00dev->led_assoc.led_dev.trigger_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev->dev->driver_data->cis_virt	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.blink_timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.blink_timer.flags	0-4194302
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.blink_timer.lockdep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->devres_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->callback->add	5235430000054906880
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->callback->early_resume	6956900869090054144
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->callback->remove	1719268733136482304
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->callback->requery	4713442613417914368
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->callback->resume	5068206944467017728
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->callback->suspend	2738892915008757760
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->callback->validate	4934365872137547776
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->cis_mem.flags	0,2-254
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->d_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->detaching.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->dev.kobj.kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->dev.kobj.release.cpu	s32min-s32max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->dev.kobj.release.timer.flags	0-4294967295
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->device_count	0-1
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->ops_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->ops_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->ops_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->sfd_lock.dep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->sfd_lock.raw_lock.cnts.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->skt_mutex.dep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->skt_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->skt_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->driver_data->skt_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->kobj->release.timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->kobj.entry.prev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->kobj.parent->release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->p->dead	1
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->p->knode_class.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->p->knode_parent.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->parent->driver_data->lock.dep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->parent->kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->power.completion.done	u32max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->power.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->power.last_status	s32min-0,2,4-s32max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->power.qos	0,(-19)
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->power.runtime_status	2
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->power.usage_count.counter	0-s32max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.pattern_set	0
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.set_brightness_work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.set_brightness_work.lockdep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.trig_list.next	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.trigger	0,4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.trigger->led_cdevs.prev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.trigger_data->led_cdev->dev->kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.trigger_data->lock->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.trigger_data->lock->wait_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.trigger_data->net_dev->refcnt_tracker.quarantine_avail	0-4294967295
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.trigger_data->timer.lockdep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.trigger_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.trigger_lock.first_waiter->type	0-1
PARAM_VALUE	0	rt2x00dev->led_qual.led_dev.trigger_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev->dev->driver_data->cis_virt	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.blink_timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.blink_timer.flags	0-4194302
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.blink_timer.lockdep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->devres_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->callback->add	5235430000054906880
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->callback->early_resume	6956900869090054144
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->callback->remove	1719268733136482304
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->callback->requery	4713442613417914368
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->callback->resume	5068206944467017728
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->callback->suspend	2738892915008757760
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->callback->validate	4934365872137547776
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->cis_mem.flags	0,2-254
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->d_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->detaching.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->dev.kobj.kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->dev.kobj.release.cpu	s32min-s32max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->dev.kobj.release.timer.flags	0-4294967295
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->device_count	0-1
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->ops_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->ops_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->ops_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->sfd_lock.dep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->sfd_lock.raw_lock.cnts.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->skt_mutex.dep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->skt_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->skt_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->driver_data->skt_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->kobj->release.timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->kobj.entry.prev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->kobj.parent->release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->p->dead	1
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->p->knode_class.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->p->knode_parent.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->parent->driver_data->lock.dep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->parent->kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->power.completion.done	u32max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->power.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->power.last_status	s32min-0,2,4-s32max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->power.qos	0,(-19)
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->power.runtime_status	2
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->power.usage_count.counter	0-s32max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.set_brightness_work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.set_brightness_work.lockdep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.trig_list.next	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.trigger	0,4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.trigger->led_cdevs.prev	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.trigger_data->led_cdev->dev->kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.trigger_data->lock->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.trigger_data->lock->wait_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.trigger_data->net_dev->refcnt_tracker.quarantine_avail	0-4294967295
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.trigger_data->timer.lockdep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.trigger_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.trigger_lock.first_waiter->type	0-1
PARAM_VALUE	0	rt2x00dev->led_radio.led_dev.trigger_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	rt2x00dev->ops->drv_data_size	0,1584
PARAM_VALUE	0	rt2x00dev->ops->eeprom_size	0-4000000
PARAM_VALUE	0	rt2x00dev->ops->hw	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->ops->lib	4096-ptr_max
PARAM_VALUE	0	rt2x00dev->ops->max_ap_intf	1,4,8
PARAM_VALUE	0	rt2x00dev->ops->rf_size	0-4000000
PARAM_VALUE	0	rt2x00dev->ops->tx_queues	2,4
PARAM_VALUE	0	rt2x00dev->sleep_work.lockdep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->txstatus_fifo.kfifo.data	0
PARAM_VALUE	0	rt2x00dev->txstatus_fifo.kfifo.esize	0
PARAM_VALUE	0	rt2x00dev->txstatus_fifo.kfifo.in	0
PARAM_VALUE	0	rt2x00dev->txstatus_fifo.kfifo.mask	0
PARAM_VALUE	0	rt2x00dev->txstatus_fifo.kfifo.out	0
PARAM_VALUE	0	rt2x00dev->workqueue	0,4096-ptr_max
PARAM_VALUE	0	rt2x00dev->workqueue->flags	0-4294967295
PARAM_VALUE	0	rt2x00dev->workqueue->flush_color	s32min-s32max
PARAM_VALUE	0	rt2x00dev->workqueue->nr_drainers	s32min-s32max
PARAM_VALUE	0	rt2x00dev->workqueue->nr_pwqs_to_flush.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->workqueue->rescuer	0
PARAM_VALUE	0	rt2x00dev->workqueue->work_color	s32min-s32max
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev	0
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev->driver_data->cis_virt	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.devres_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->callback->add	5235430000054906880
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->callback->early_resume	6956900869090054144
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->callback->remove	1719268733136482304
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->callback->requery	4713442613417914368
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->callback->resume	5068206944467017728
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->callback->suspend	2738892915008757760
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->callback->validate	4934365872137547776
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->cdev->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->cdev->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->cdev->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->cdev->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->cis_mem.flags	0,2-254
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->d_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->detaching.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->dev.kobj.kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->dev.kobj.release.cpu	s32min-s32max
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->dev.kobj.release.timer.flags	0-4294967295
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->device_count	0-1
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->ops_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->ops_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->ops_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->sfd_lock.dep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->sfd_lock.raw_lock.cnts.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->skt_mutex.dep_map->name	0-255
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->skt_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->skt_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.driver_data->skt_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.p->dead	1
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.p->knode_class.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.p->knode_parent.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.power.completion.done	4294967295
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.power.last_status	s32min-0,2,4-s32max
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.power.qos	(-19),0
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.power.runtime_status	2
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.power.usage_count.counter	0-s32max
PARAM_VALUE	0	rt2x00dev->workqueue->wq_dev->dev.power.wakeirq->status	0-4294967295
BUF_SIZE	0	rt2x00dev->clk	(-1),1-s32max
BUF_SIZE	0	rt2x00dev->dev	(-1),1616
BUF_SIZE	0	rt2x00dev->drv_data	(-1),1584
BUF_SIZE	0	rt2x00dev->eeprom	(-1),512
BUF_SIZE	0	rt2x00dev->hw	(-1),208
BUF_SIZE	0	rt2x00dev->name	(-1),4-25,28-29,32
BUF_SIZE	0	rt2x00dev->rf	(-1),16
BUF_SIZE	0	rt2x00dev->workqueue	(-1),512,528-8720
CAPPED_DATA	0	rt2x00dev	1
CAPPED_DATA	0	rt2x00dev->chan_survey	1
CAPPED_DATA	0	rt2x00dev->spec.channels_info	1
CAPPED_DATA	0	rt2x00dev->txstatus_timer.base	1
CAPPED_DATA	0	&rt2x00dev->intf_work	1
CAPPED_DATA	0	&rt2x00dev->sleep_work	1
CAPPED_DATA	0	&rt2x00dev->txstatus_timer	1
DATA_SOURCE	0	rt2x00dev	$0
PARAM_COMPARE	0	&rt2x00dev->txstatus_timer	!= $0->txstatus_timer.base->running
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	rt2x00dev->atim->rt2x00dev->chip.rt	0
HOST_DATA	0	rt2x00dev->bcn->rt2x00dev->chip.rt	0
HOST_DATA	0	rt2x00dev->chip.rt	0
HOST_DATA	0	rt2x00dev->rx->rt2x00dev->chip.rt	0
NO_OVERFLOW_SIMPLE	0	rt2x00dev->atim->rt2x00dev->data_queues
NO_OVERFLOW_SIMPLE	0	rt2x00dev->bcn->rt2x00dev->data_queues
NO_OVERFLOW_SIMPLE	0	rt2x00dev->data_queues
NO_OVERFLOW_SIMPLE	0	rt2x00dev->rx->rt2x00dev->data_queues
HALF_LOCKED2		&_dev->mutex