ksz_pwrite8 identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/net/dsa/microchip/ksz_common.h, line 731 (as a function)

Referenced in 4 files:

Smatch caller information:

drivers/net/dsa/microchip/ksz9477.c ksz9477_flush_dyn_mac_table() -> ksz_pwrite8()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->get_port_addr	4096-ptr_max
PARAM_VALUE	0	dev->info	4096-ptr_max
PARAM_VALUE	0	dev->info->port_cnt	(-2147483647)-s32max
PARAM_VALUE	0	dev->info->regs	4096-ptr_max
PARAM_VALUE	1	port	s32min-2147483646
PARAM_VALUE	2	offset	0-u16max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
CAPPED_DATA	1	port	1
DATA_SOURCE	1	port	$1
PARAM_COMPARE	0	dev->info->port_cnt	> $1
PARAM_COMPARE	1	port	< $0->info->port_cnt
CONSTRAINT	1	port	<984
BIT_INFO	3	data	0x1,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	dev	unit_byte

drivers/net/dsa/microchip/ksz9477.c ksz9477_flush_dyn_mac_table() -> ksz_pwrite8()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->get_port_addr	4096-ptr_max
PARAM_VALUE	0	dev->info	4096-ptr_max
PARAM_VALUE	0	dev->info->port_cnt	(-2147483647)-s32max
PARAM_VALUE	0	dev->info->regs	4096-ptr_max
PARAM_VALUE	1	port	s32min-2147483646
PARAM_VALUE	2	offset	0-u16max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
CAPPED_DATA	1	port	1
DATA_SOURCE	1	port	$1
PARAM_COMPARE	0	dev->info->port_cnt	> $1
PARAM_COMPARE	1	port	< $0->info->port_cnt
CONSTRAINT	1	port	<984
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	dev	unit_byte

drivers/net/dsa/microchip/ksz9477.c ksz9477_port_setup() -> ksz_pwrite8()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->alu_mutex.dep_map->name	0-255
PARAM_VALUE	0	dev->alu_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	dev->alu_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->alu_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->alu_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->alu_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	dev->alu_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->alu_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	dev->alu_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->alu_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->dev_ops	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->get_port_addr	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->pme_pread8	4096-ptr_max
PARAM_VALUE	0	dev->ds	4096-ptr_max
PARAM_VALUE	0	dev->ds->dst	4096-ptr_max
PARAM_VALUE	0	dev->info	4096-ptr_max
PARAM_VALUE	0	dev->info->internal_phy	4096-ptr_max
PARAM_VALUE	0	dev->info->regs	4096-ptr_max
PARAM_VALUE	2	offset	0-u16max
PARAM_VALUE	3	data	0
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
DATA_SOURCE	0	dev	$0
DATA_SOURCE	1	port	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	dev	unit_byte
HALF_LOCKED2		global &dsa2_mutex

drivers/net/dsa/microchip/ksz9477.c ksz9477_set_100_10mbit() -> ksz_pwrite8()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->get_port_addr	4096-ptr_max
PARAM_VALUE	0	dev->info	4096-ptr_max
PARAM_VALUE	0	dev->info->internal_phy	4096-ptr_max
PARAM_VALUE	0	dev->info->regs	4096-ptr_max
PARAM_VALUE	0	dev->info->xmii_ctrl0	4096-ptr_max
PARAM_VALUE	0	dev->info->xmii_ctrl1	4096-ptr_max
PARAM_VALUE	0	dev->ports	4096-ptr_max
PARAM_VALUE	2	offset	0-u16max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
DATA_SOURCE	0	dev	$0
DATA_SOURCE	1	port	$1
NOCHECK_CALL
UNITS	0	dev	unit_byte
LOCK2		&pl->phydev_mutex
LOCK2		&pl->state_mutex
LOCK2		&pool->lock
HALF_LOCKED2		&phy->lock
TYPE_LOCK		(struct phylink)->phydev_mutex
TYPE_LOCK		(struct phylink)->state_mutex

drivers/net/dsa/microchip/ksz9477.c ksz9477_set_gbit() -> ksz_pwrite8()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->get_port_addr	4096-ptr_max
PARAM_VALUE	0	dev->info	4096-ptr_max
PARAM_VALUE	0	dev->info->internal_phy	4096-ptr_max
PARAM_VALUE	0	dev->info->regs	4096-ptr_max
PARAM_VALUE	0	dev->info->xmii_ctrl1	4096-ptr_max
PARAM_VALUE	0	dev->ports	4096-ptr_max
PARAM_VALUE	2	offset	0-u16max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
DATA_SOURCE	0	dev	$0
DATA_SOURCE	1	port	$1
NOCHECK_CALL
UNITS	0	dev	unit_byte
LOCK2		&pl->phydev_mutex
LOCK2		&pl->state_mutex
LOCK2		&pool->lock
HALF_LOCKED2		&phy->lock
TYPE_LOCK		(struct phylink)->phydev_mutex
TYPE_LOCK		(struct phylink)->state_mutex

drivers/net/dsa/microchip/ksz9477_acl.c ksz9477_acl_entry_write() -> ksz_pwrite8()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->get_port_addr	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->pme_pread8	0,4096-ptr_max
PARAM_VALUE	0	dev->ports	4096-ptr_max
PARAM_VALUE	2	offset	1536-1553
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
DATA_SOURCE	0	dev	$0
DATA_SOURCE	1	port	$1
RX_PATH
TASK_NOT_RUNNING
UNITS	0	dev	unit_byte

drivers/net/dsa/microchip/ksz9477_acl.c ksz9477_acl_entry_write() -> ksz_pwrite8()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->get_port_addr	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->pme_pread8	0,4096-ptr_max
PARAM_VALUE	0	dev->ports	4096-ptr_max
PARAM_VALUE	2	offset	1554
PARAM_VALUE	3	data	16-31
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
DATA_SOURCE	0	dev	$0
DATA_SOURCE	1	port	$1
BIT_INFO	3	data	0x10,0x1f
RX_PATH
TASK_NOT_RUNNING
UNITS	0	dev	unit_byte

drivers/net/dsa/microchip/ksz9477_acl.c ksz9477_acl_port_disable() -> ksz_pwrite8()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->get_port_addr	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->pme_pread8	0,4096-ptr_max
PARAM_VALUE	0	dev->ports	4096-ptr_max
PARAM_VALUE	2	offset	2051
PARAM_VALUE	3	data	0
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
DATA_SOURCE	0	dev	$0
DATA_SOURCE	1	port	$1
RX_PATH
TASK_NOT_RUNNING
UNITS	0	dev	unit_byte
HALF_LOCKED2		global &dsa2_mutex

drivers/net/dsa/microchip/ksz9477_acl.c ksz9477_acl_port_enable() -> ksz_pwrite8()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->get_port_addr	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->pme_pread8	0,4096-ptr_max
PARAM_VALUE	0	dev->ports	4096-ptr_max
PARAM_VALUE	2	offset	2051
PARAM_VALUE	3	data	4-7
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
DATA_SOURCE	0	dev	$0
DATA_SOURCE	1	port	$1
BIT_INFO	3	data	0x4,0x7
RX_PATH
TASK_NOT_RUNNING
UNITS	0	dev	unit_byte

drivers/net/dsa/microchip/ksz8.c ksz8_cfg_port_member() -> ksz_pwrite8()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->cfg_port_member	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->get_port_addr	4096-ptr_max
PARAM_VALUE	0	dev->ds	4096-ptr_max
PARAM_VALUE	0	dev->ds->dst	4096-ptr_max
PARAM_VALUE	0	dev->info	4096-ptr_max
PARAM_VALUE	2	offset	1,110
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
DATA_SOURCE	0	dev	$0
DATA_SOURCE	1	port	$1
FUZZY_MAX	2	offset	110
BIT_INFO	2	offset	0x0,0x6f
HARD_MAX	2	offset	110
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	dev	unit_byte

drivers/net/dsa/microchip/ksz8.c ksz8_flush_dyn_mac_table() -> ksz_pwrite8()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->get_port_addr	4096-ptr_max
PARAM_VALUE	0	dev->info	4096-ptr_max
PARAM_VALUE	1	port	s32min-2147483646
PARAM_VALUE	2	offset	0-u16max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
CAPPED_DATA	0	dev->info->port_cnt	1
CAPPED_DATA	1	port	1
BIT_INFO	3	data	0x1,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	dev	unit_byte

drivers/net/dsa/microchip/ksz8.c ksz8_flush_dyn_mac_table() -> ksz_pwrite8()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->get_port_addr	4096-ptr_max
PARAM_VALUE	0	dev->info	4096-ptr_max
PARAM_VALUE	1	port	s32min-2147483646
PARAM_VALUE	2	offset	0-u16max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
CAPPED_DATA	0	dev->info->port_cnt	1
CAPPED_DATA	1	port	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	dev	unit_byte

drivers/net/dsa/microchip/ksz8.c ksz8_port_enable_pvid() -> ksz_pwrite8()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->alu_mutex.dep_map->name	0-255
PARAM_VALUE	0	dev->alu_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	dev->alu_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->alu_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->alu_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->alu_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	dev->alu_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->alu_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	dev->alu_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->alu_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->chip_id	0-33890,33892-34863,34865-u32max
PARAM_VALUE	0	dev->dev_ops	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->get_port_addr	4096-ptr_max
PARAM_VALUE	0	dev->info	4096-ptr_max
PARAM_VALUE	0	dev->info->masks	4096-ptr_max
PARAM_VALUE	0	dev->info->regs	4096-ptr_max
PARAM_VALUE	0	dev->info->shifts	4096-ptr_max
PARAM_VALUE	0	dev->vlan_cache	4096-ptr_max
PARAM_VALUE	2	offset	160
PARAM_VALUE	3	data	0,15
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
DATA_SOURCE	0	dev	$0
DATA_SOURCE	1	port	$1
FUZZY_MAX	3	data	15
HARD_MAX	3	data	15
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	port	1-254[c]
UNITS	0	dev	unit_byte
HALF_LOCKED2		&dp->vlans_lock

drivers/net/dsa/microchip/ksz8.c ksz8_w_phy() -> ksz_pwrite8()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->get_port_addr	4096-ptr_max
PARAM_VALUE	0	dev->info	4096-ptr_max
PARAM_VALUE	0	dev->info->regs	4096-ptr_max
PARAM_VALUE	2	offset	0-u16max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
DATA_SOURCE	0	dev	$0
DATA_SOURCE	1	port	$1
RX_PATH
TASK_NOT_RUNNING
UNITS	0	dev	unit_byte
HALF_LOCKED2		&bus->mdio_lock
HALF_LOCKED2		&priv->bus->mdio_lock

drivers/net/dsa/microchip/ksz_common.c ksz_disable_egress_rate_limit() -> ksz_pwrite8()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->get_port_addr	4096-ptr_max
PARAM_VALUE	0	dev->info	4096-ptr_max
PARAM_VALUE	0	dev->info->num_tx_queues	1-255
PARAM_VALUE	2	offset	1056-1310
PARAM_VALUE	3	data	0
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
CAPPED_DATA	0	dev->info->num_tx_queues	1
CAPPED_DATA	2	offset	1
DATA_SOURCE	0	dev	$0
DATA_SOURCE	1	port	$1
RX_PATH
TASK_NOT_RUNNING
UNITS	0	dev	unit_byte

drivers/net/dsa/microchip/ksz_common.c ksz_port_stp_state_set() -> ksz_pwrite8()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->get_port_addr	4096-ptr_max
PARAM_VALUE	0	dev->info	4096-ptr_max
PARAM_VALUE	0	dev->info->regs	4096-ptr_max
PARAM_VALUE	0	dev->ports	4096-ptr_max
PARAM_VALUE	2	offset	0-u16max
PARAM_VALUE	3	data	1-3,6-7,9-255
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
DATA_SOURCE	1	port	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	dev	unit_byte

drivers/net/dsa/microchip/ksz_common.c ksz_queue_set_wrr() -> ksz_pwrite8()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->get_port_addr	4096-ptr_max
PARAM_VALUE	0	dev->info	4096-ptr_max
PARAM_VALUE	0	dev->info->num_tx_queues	1-255
PARAM_VALUE	2	offset	2325
PARAM_VALUE	3	data	1
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
DATA_SOURCE	0	dev	$0
DATA_SOURCE	1	port	$1
DATA_SOURCE	3	data	$3
RX_PATH
TASK_NOT_RUNNING
UNITS	0	dev	unit_byte

drivers/net/dsa/microchip/ksz_common.c ksz_set_xmii() -> ksz_pwrite8()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->get_port_addr	4096-ptr_max
PARAM_VALUE	0	dev->info	4096-ptr_max
PARAM_VALUE	0	dev->info->regs	4096-ptr_max
PARAM_VALUE	0	dev->info->xmii_ctrl1	4096-ptr_max
PARAM_VALUE	0	dev->ports	4096-ptr_max
PARAM_VALUE	2	offset	0-u16max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
DATA_SOURCE	0	dev	$0
DATA_SOURCE	1	port	$1
NOCHECK_CALL
UNITS	0	dev	unit_byte

drivers/net/dsa/microchip/ksz_common.c ksz_setup_tc_mode() -> ksz_pwrite8()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->get_port_addr	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->tc_cbs_set_cinc	0,1282080737320615936,3197110574383955968
PARAM_VALUE	0	dev->info	4096-ptr_max
PARAM_VALUE	2	offset	2324
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
DATA_SOURCE	0	dev	$0
DATA_SOURCE	1	port	$1
RX_PATH
TASK_NOT_RUNNING
UNITS	0	dev	unit_byte

drivers/net/dsa/microchip/ksz_common.c ksz_handle_wake_reason() -> (struct ksz_dev_ops)->pme_pwrite8()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->get_port_addr	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->pme_pread8	0,4096-ptr_max
PARAM_VALUE	0	dev->info	4096-ptr_max
PARAM_VALUE	0	dev->info->regs	4096-ptr_max
PARAM_VALUE	2	offset	0-u16max
PARAM_VALUE	3	data	1-255
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
DATA_SOURCE	0	dev	$0
DATA_SOURCE	1	port	$1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		&dev->mutex

drivers/net/dsa/microchip/ksz_common.c ksz_set_wol() -> (struct ksz_dev_ops)->pme_pwrite8()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->alu_mutex.dep_map->name	0-255
PARAM_VALUE	0	dev->alu_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	dev->alu_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->alu_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->alu_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	dev->alu_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->alu_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	dev->alu_mutex.first_waiter->task->blocked_on	0
PARAM_VALUE	0	dev->alu_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->alu_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->dev_ops	4096-ptr_max
PARAM_VALUE	0	dev->dev_ops->pme_pread8	4096-ptr_max
PARAM_VALUE	0	dev->info	4096-ptr_max
PARAM_VALUE	0	dev->info->regs	4096-ptr_max
PARAM_VALUE	0	dev->wakeup_source	1
PARAM_VALUE	2	offset	0-u16max
PARAM_VALUE	3	data	0,3-4,7
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
DATA_SOURCE	1	port	$1
FUZZY_MAX	3	data	0
CONTAINER	0	-56-632+0	$(-1)
RX_PATH
TASK_NOT_RUNNING