dsa_devlink_resources_unregister identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

include/net/dsa.h, line 1290 (as a prototype)

Defined in 1 files as a function:

net/dsa/devlink.c, line 245 (as a function)

Referenced in 7 files:

Smatch caller information:

drivers/net/dsa/bcm_sf2.c bcm_sf2_sw_teardown() -> dsa_devlink_resources_unregister()

Type	Parameter	Key	Value
PARAM_VALUE	0	ds	4096-ptr_max
PARAM_VALUE	0	ds->devlink	4096-ptr_max
PARAM_VALUE	0	ds->dst	4096-ptr_max
PARAM_VALUE	0	ds->dst->tag_ops	4096-ptr_max
PARAM_VALUE	0	ds->dst->tag_ops->proto	0-11,13-34
PARAM_VALUE	0	ds->ops	4096-ptr_max
PARAM_VALUE	0	ds->ops->teardown	1-u64max
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->can_grow	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->debugfs	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->for_alloc	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->force_bounce	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->nslabs	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ds->user_mii_bus->dev.p->dead	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.p->deferred_probe_reason	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	*ds->user_mii_bus->id	0-255
BUF_SIZE	0	ds->user_mii_bus	(-1),3752,3784,3792,3800,3808,3816,3824,3912
CAPPED_DATA	0	ds	1
CAPPED_DATA	0	ds->devlink	1
DATA_SOURCE	0	ds	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		global &dsa2_mutex

drivers/net/dsa/dsa_loop.c dsa_loop_setup_devlink_resources() -> dsa_devlink_resources_unregister()

Type	Parameter	Key	Value
PARAM_VALUE	0	ds	4096-ptr_max
PARAM_VALUE	0	ds->devlink	4096-ptr_max
PARAM_VALUE	0	ds->devlink->index	0-4294967295
PARAM_VALUE	0	ds->devlink->lock.dep_map->name	0-255
PARAM_VALUE	0	ds->devlink->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ds->devlink->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	ds->devlink->lock.first_waiter->task->blocked_on	0
PARAM_VALUE	0	ds->devlink->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	ds->ops	4096-ptr_max
PARAM_VALUE	0	ds->user_mii_bus->dev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ds->user_mii_bus->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ds->user_mii_bus->dev.power.wakeirq->status	0-4294967295
CAPPED_DATA	0	ds	1
CAPPED_DATA	0	ds->num_ports	1
DATA_SOURCE	0	ds	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &dsa2_mutex

drivers/net/dsa/dsa_loop.c dsa_loop_teardown() -> dsa_devlink_resources_unregister()

Type	Parameter	Key	Value
PARAM_VALUE	0	ds	4096-ptr_max
PARAM_VALUE	0	ds->devlink	4096-ptr_max
PARAM_VALUE	0	ds->dst	4096-ptr_max
PARAM_VALUE	0	ds->dst->tag_ops	4096-ptr_max
PARAM_VALUE	0	ds->dst->tag_ops->proto	0-11,13-34
PARAM_VALUE	0	ds->ops	4096-ptr_max
PARAM_VALUE	0	ds->ops->teardown	1-u64max
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->can_grow	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->debugfs	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->for_alloc	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->force_bounce	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->nslabs	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ds->user_mii_bus->dev.p->dead	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.p->deferred_probe_reason	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	*ds->user_mii_bus->id	0-255
BUF_SIZE	0	ds->user_mii_bus	(-1),3752,3784,3792,3800,3808,3816,3824,3912
CAPPED_DATA	0	ds	1
CAPPED_DATA	0	ds->devlink	1
DATA_SOURCE	0	ds	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		global &dsa2_mutex

drivers/net/dsa/b53/b53_common.c b53_setup_devlink_resources() -> dsa_devlink_resources_unregister()

Type	Parameter	Key	Value
PARAM_VALUE	0	ds	4096-ptr_max
PARAM_VALUE	0	ds->devlink	4096-ptr_max
PARAM_VALUE	0	ds->devlink->index	0-4294967295
PARAM_VALUE	0	ds->devlink->lock.dep_map->name	0-255
PARAM_VALUE	0	ds->devlink->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ds->devlink->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	ds->devlink->lock.first_waiter->task->blocked_on	0
PARAM_VALUE	0	ds->devlink->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	ds->ops	4096-ptr_max
PARAM_VALUE	0	ds->priv	4096-ptr_max
PARAM_VALUE	0	ds->user_mii_bus->dev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ds->user_mii_bus->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ds->user_mii_bus->dev.power.wakeirq->status	0-4294967295
CAPPED_DATA	0	ds	1
DATA_SOURCE	0	ds	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &dsa2_mutex

drivers/net/dsa/b53/b53_common.c b53_teardown() -> dsa_devlink_resources_unregister()

Type	Parameter	Key	Value
PARAM_VALUE	0	ds	4096-ptr_max
PARAM_VALUE	0	ds->devlink	4096-ptr_max
PARAM_VALUE	0	ds->dst	4096-ptr_max
PARAM_VALUE	0	ds->dst->tag_ops	4096-ptr_max
PARAM_VALUE	0	ds->dst->tag_ops->proto	0-11,13-34
PARAM_VALUE	0	ds->ops	4096-ptr_max
PARAM_VALUE	0	ds->ops->teardown	1-u64max
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->can_grow	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->debugfs	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->for_alloc	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->force_bounce	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->nslabs	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ds->user_mii_bus->dev.p->dead	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.p->deferred_probe_reason	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	*ds->user_mii_bus->id	0-255
BUF_SIZE	0	ds->user_mii_bus	(-1),3752,3784,3792,3800,3808,3816,3824,3912
CAPPED_DATA	0	ds	1
CAPPED_DATA	0	ds->devlink	1
DATA_SOURCE	0	ds	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		global &dsa2_mutex

drivers/net/dsa/hirschmann/hellcreek.c hellcreek_setup() -> dsa_devlink_resources_unregister()

Type	Parameter	Key	Value
PARAM_VALUE	0	ds	4096-ptr_max
PARAM_VALUE	0	ds->devlink	4096-ptr_max
PARAM_VALUE	0	ds->devlink->lock.dep_map->name	0-255
PARAM_VALUE	0	ds->devlink->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ds->devlink->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	ds->devlink->lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	ds->devlink->lock.first_waiter->task->blocked_on	0
PARAM_VALUE	0	ds->devlink->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	ds->needs_standalone_vlan_filtering	1
PARAM_VALUE	0	ds->num_ports	0-s32max
PARAM_VALUE	0	ds->ops	4096-ptr_max
PARAM_VALUE	0	ds->priv	4096-ptr_max
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->can_grow	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->debugfs	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->for_alloc	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->force_bounce	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->nslabs	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ds->user_mii_bus->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	ds->vlan_filtering_is_global	1
CAPPED_DATA	0	ds	1
CAPPED_DATA	0	ds->num_ports	1
DATA_SOURCE	0	ds	$0
FUZZY_MAX	0	ds->num_ports	0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &dsa2_mutex

drivers/net/dsa/hirschmann/hellcreek.c hellcreek_setup_devlink_resources() -> dsa_devlink_resources_unregister()

Type	Parameter	Key	Value
PARAM_VALUE	0	ds	4096-ptr_max
PARAM_VALUE	0	ds->devlink	4096-ptr_max
PARAM_VALUE	0	ds->devlink->index	0-4294967295
PARAM_VALUE	0	ds->devlink->lock.dep_map->name	0-255
PARAM_VALUE	0	ds->devlink->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ds->devlink->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	ds->devlink->lock.first_waiter->task->blocked_on	0
PARAM_VALUE	0	ds->devlink->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	ds->needs_standalone_vlan_filtering	1
PARAM_VALUE	0	ds->num_ports	0-s32max
PARAM_VALUE	0	ds->ops	4096-ptr_max
PARAM_VALUE	0	ds->priv	4096-ptr_max
PARAM_VALUE	0	ds->user_mii_bus->dev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ds->user_mii_bus->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ds->user_mii_bus->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	ds->vlan_filtering_is_global	1
CAPPED_DATA	0	ds	1
CAPPED_DATA	0	ds->num_ports	1
DATA_SOURCE	0	ds	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &dsa2_mutex

drivers/net/dsa/hirschmann/hellcreek.c hellcreek_teardown() -> dsa_devlink_resources_unregister()

Type	Parameter	Key	Value
PARAM_VALUE	0	ds	4096-ptr_max
PARAM_VALUE	0	ds->devlink	4096-ptr_max
PARAM_VALUE	0	ds->dst	4096-ptr_max
PARAM_VALUE	0	ds->dst->tag_ops	4096-ptr_max
PARAM_VALUE	0	ds->dst->tag_ops->proto	0-11,13-34
PARAM_VALUE	0	ds->ops	4096-ptr_max
PARAM_VALUE	0	ds->ops->teardown	1-u64max
PARAM_VALUE	0	ds->priv	4096-ptr_max
PARAM_VALUE	0	ds->priv->fdb_region	4096-ptr_max
PARAM_VALUE	0	ds->priv->fdb_region->cur_snapshots	0-4294967295
PARAM_VALUE	0	ds->priv->fdb_region->devlink->lock.dep_map->name	0-255
PARAM_VALUE	0	ds->priv->fdb_region->devlink->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ds->priv->fdb_region->devlink->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	ds->priv->fdb_region->devlink->lock.osq.tail.counter	s32min-s32max
PARAM_VALUE	0	ds->priv->fdb_region->snapshot_lock.dep_map->name	0-255
PARAM_VALUE	0	ds->priv->fdb_region->snapshot_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ds->priv->fdb_region->snapshot_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	ds->priv->fdb_region->snapshot_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	ds->priv->fdb_region->snapshot_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	ds->priv->fdb_region->snapshot_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	ds->priv->fdb_region->snapshot_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	ds->priv->vlan_region	4096-ptr_max
PARAM_VALUE	0	ds->priv->vlan_region->cur_snapshots	0-4294967295
PARAM_VALUE	0	ds->priv->vlan_region->devlink->lock.dep_map->name	0-255
PARAM_VALUE	0	ds->priv->vlan_region->devlink->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ds->priv->vlan_region->devlink->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	ds->priv->vlan_region->devlink->lock.osq.tail.counter	s32min-s32max
PARAM_VALUE	0	ds->priv->vlan_region->snapshot_lock.dep_map->name	0-255
PARAM_VALUE	0	ds->priv->vlan_region->snapshot_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ds->priv->vlan_region->snapshot_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	ds->priv->vlan_region->snapshot_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	ds->priv->vlan_region->snapshot_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	ds->priv->vlan_region->snapshot_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	ds->priv->vlan_region->snapshot_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->can_grow	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->debugfs	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->for_alloc	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->force_bounce	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->nslabs	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ds->user_mii_bus->dev.p->dead	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.p->deferred_probe_reason	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	*ds->user_mii_bus->id	0-255
BUF_SIZE	0	ds->user_mii_bus	(-1),3752,3784,3792,3800,3808,3816,3824,3912
CAPPED_DATA	0	ds	1
CAPPED_DATA	0	ds->devlink	1
CAPPED_DATA	0	ds->priv->fdb_region	1
CAPPED_DATA	0	ds->priv->vlan_region	1
DATA_SOURCE	0	ds	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		global &dsa2_mutex

drivers/net/dsa/mv88e6xxx/devlink.c mv88e6xxx_setup_devlink_resources() -> dsa_devlink_resources_unregister()

Type	Parameter	Key	Value
PARAM_VALUE	0	ds	4096-ptr_max
PARAM_VALUE	0	ds->devlink	4096-ptr_max
PARAM_VALUE	0	ds->devlink->index	0-4294967295
PARAM_VALUE	0	ds->devlink->lock.dep_map->name	0-255
PARAM_VALUE	0	ds->devlink->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ds->devlink->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	ds->devlink->lock.first_waiter->task->blocked_on	0
PARAM_VALUE	0	ds->devlink->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	ds->ops	4096-ptr_max
PARAM_VALUE	0	ds->priv	4096-ptr_max
PARAM_VALUE	0	ds->user_mii_bus->dev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ds->user_mii_bus->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ds->user_mii_bus->dev.power.wakeirq->status	0-4294967295
CAPPED_DATA	0	ds	1
DATA_SOURCE	0	ds	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &dsa2_mutex

drivers/net/dsa/mv88e6xxx/chip.c mv88e6xxx_setup() -> dsa_devlink_resources_unregister()

Type	Parameter	Key	Value
PARAM_VALUE	0	ds	4096-ptr_max
PARAM_VALUE	0	ds->devlink	4096-ptr_max
PARAM_VALUE	0	ds->devlink->lock.dep_map->name	0-255
PARAM_VALUE	0	ds->devlink->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ds->devlink->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	ds->devlink->lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	ds->devlink->lock.first_waiter->task->blocked_on	0
PARAM_VALUE	0	ds->devlink->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	ds->devlink->params.xa_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ds->ops	4096-ptr_max
PARAM_VALUE	0	ds->priv	4096-ptr_max
PARAM_VALUE	0	ds->priv->info	4096-ptr_max
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->can_grow	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->debugfs	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->for_alloc	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->force_bounce	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->nslabs	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ds->user_mii_bus->dev.power.wakeirq->status	0-4294967295
CAPPED_DATA	0	ds	1
DATA_SOURCE	0	ds	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &dsa2_mutex

drivers/net/dsa/mv88e6xxx/chip.c mv88e6xxx_teardown() -> dsa_devlink_resources_unregister()

Type	Parameter	Key	Value
PARAM_VALUE	0	ds	4096-ptr_max
PARAM_VALUE	0	ds->devlink	4096-ptr_max
PARAM_VALUE	0	ds->devlink->lock.dep_map->name	0-255
PARAM_VALUE	0	ds->devlink->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ds->devlink->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	ds->devlink->lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	ds->devlink->lock.first_waiter->task->blocked_on	0
PARAM_VALUE	0	ds->devlink->params.xa_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ds->dst	4096-ptr_max
PARAM_VALUE	0	ds->dst->tag_ops	4096-ptr_max
PARAM_VALUE	0	ds->dst->tag_ops->proto	0-11,13-34
PARAM_VALUE	0	ds->ops	4096-ptr_max
PARAM_VALUE	0	ds->ops->teardown	1-u64max
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->can_grow	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->debugfs	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->for_alloc	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->force_bounce	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->nslabs	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ds->user_mii_bus->dev.p->dead	0-1
PARAM_VALUE	0	ds->user_mii_bus->dev.p->deferred_probe_reason	0-s64max
PARAM_VALUE	0	ds->user_mii_bus->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	*ds->user_mii_bus->id	0-255
BUF_SIZE	0	ds->user_mii_bus	(-1),3752,3784,3792,3800,3808,3816,3824,3912
CAPPED_DATA	0	ds	1
CAPPED_DATA	0	ds->devlink	1
DATA_SOURCE	0	ds	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		global &dsa2_mutex