anx7411_send_msg identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/usb/typec/anx7411.c, line 732 (as a function)

Referenced in 1 files:

drivers/usb/typec/anx7411.c

Smatch caller information:

drivers/usb/typec/anx7411.c anx7411_config() -> anx7411_send_msg()

Type	Parameter	Key	Value
PARAM_VALUE	0	ctx	4096-ptr_max
PARAM_VALUE	0	ctx->lock.dep_map->name	0-255
PARAM_VALUE	0	ctx->lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	ctx->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ctx->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	ctx->lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	ctx->lock.wait_lock.owner	(-1)
PARAM_VALUE	0	ctx->lock.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	ctx->spi_client	4096-ptr_max
PARAM_VALUE	0	ctx->spi_client->adapter	4096-ptr_max
PARAM_VALUE	0	ctx->spi_client->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_right	0
PARAM_VALUE	0	ctx->spi_client->adapter->dev.driver_data->adev->pm.bus_locked	0-1
PARAM_VALUE	0	ctx->spi_client->adapter->dev.driver_data->adev->pm.mutex.dep_map->name	0-255
PARAM_VALUE	0	ctx->spi_client->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ctx->spi_client->adapter->lock_ops	4096-ptr_max
PARAM_VALUE	0	ctx->tcpc_client	4096-ptr_max
PARAM_VALUE	0	ctx->tcpc_client->adapter	4096-ptr_max
PARAM_VALUE	0	ctx->tcpc_client->adapter->dev.driver_data->adev->pm.bus_locked	0-1
PARAM_VALUE	0	ctx->tcpc_client->adapter->dev.driver_data->adev->pm.mutex.dep_map->name	0-255
PARAM_VALUE	0	ctx->tcpc_client->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ctx->tcpc_client->adapter->lock_ops	4096-ptr_max
PARAM_VALUE	1	type	0
PARAM_VALUE	2	buf	6819110219884384256
BUF_SIZE	2	buf	28
DATA_SOURCE	0	ctx	$0
NOCHECK_CALL
LOCK2	0	&ctx->lock
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct anx7411_data)->lock

drivers/usb/typec/anx7411.c anx7411_config() -> anx7411_send_msg()

Type	Parameter	Key	Value
PARAM_VALUE	0	ctx	4096-ptr_max
PARAM_VALUE	0	ctx->lock.dep_map->name	0-255
PARAM_VALUE	0	ctx->lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	ctx->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ctx->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	ctx->lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	ctx->lock.wait_lock.owner	(-1)
PARAM_VALUE	0	ctx->lock.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	ctx->send_msg.msg_len	1-31
PARAM_VALUE	0	ctx->send_msg.msg_type	0-2,8,46-47
PARAM_VALUE	0	ctx->spi_client	4096-ptr_max
PARAM_VALUE	0	ctx->spi_client->adapter	4096-ptr_max
PARAM_VALUE	0	ctx->spi_client->adapter->bus_lock.dep_map->name	0-255
PARAM_VALUE	0	ctx->spi_client->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_right	0
PARAM_VALUE	0	ctx->spi_client->adapter->dev.driver_data->adev->pm.bus_locked	0-1
PARAM_VALUE	0	ctx->spi_client->adapter->dev.driver_data->adev->pm.mutex.dep_map->name	0-255
PARAM_VALUE	0	ctx->spi_client->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ctx->spi_client->adapter->dev.driver_data->mutex->wait_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ctx->spi_client->adapter->lock_ops	4096-ptr_max
PARAM_VALUE	0	ctx->tcpc_client	4096-ptr_max
PARAM_VALUE	0	ctx->tcpc_client->adapter	4096-ptr_max
PARAM_VALUE	0	ctx->tcpc_client->adapter->dev.driver_data->adev->pm.bus_locked	0-1
PARAM_VALUE	0	ctx->tcpc_client->adapter->dev.driver_data->adev->pm.mutex.dep_map->name	0-255
PARAM_VALUE	0	ctx->tcpc_client->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ctx->tcpc_client->adapter->lock_ops	4096-ptr_max
PARAM_VALUE	0	*ctx->send_msg->buf	0-255
PARAM_VALUE	1	type	2
PARAM_VALUE	2	buf	836425294313197568
PARAM_VALUE	3	size	12
BUF_SIZE	2	buf	12
DATA_SOURCE	0	ctx	$0
NOCHECK_CALL
UNITS	3	size	unit_byte
LOCK2	0	&ctx->lock
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct anx7411_data)->lock

drivers/usb/typec/anx7411.c anx7411_config() -> anx7411_send_msg()

Type	Parameter	Key	Value
PARAM_VALUE	0	ctx	4096-ptr_max
PARAM_VALUE	0	ctx->lock.dep_map->name	0-255
PARAM_VALUE	0	ctx->lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	ctx->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ctx->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	ctx->lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	ctx->lock.wait_lock.owner	(-1)
PARAM_VALUE	0	ctx->lock.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	ctx->send_msg.msg_len	1-31
PARAM_VALUE	0	ctx->send_msg.msg_type	0-2,8,46-47
PARAM_VALUE	0	ctx->spi_client	4096-ptr_max
PARAM_VALUE	0	ctx->spi_client->adapter	4096-ptr_max
PARAM_VALUE	0	ctx->spi_client->adapter->bus_lock.dep_map->name	0-255
PARAM_VALUE	0	ctx->spi_client->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_right	0
PARAM_VALUE	0	ctx->spi_client->adapter->dev.driver_data->adev->pm.bus_locked	0-1
PARAM_VALUE	0	ctx->spi_client->adapter->dev.driver_data->adev->pm.mutex.dep_map->name	0-255
PARAM_VALUE	0	ctx->spi_client->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ctx->spi_client->adapter->dev.driver_data->mutex->wait_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ctx->spi_client->adapter->lock_ops	4096-ptr_max
PARAM_VALUE	0	ctx->tcpc_client	4096-ptr_max
PARAM_VALUE	0	ctx->tcpc_client->adapter	4096-ptr_max
PARAM_VALUE	0	ctx->tcpc_client->adapter->dev.driver_data->adev->pm.bus_locked	0-1
PARAM_VALUE	0	ctx->tcpc_client->adapter->dev.driver_data->adev->pm.mutex.dep_map->name	0-255
PARAM_VALUE	0	ctx->tcpc_client->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ctx->tcpc_client->adapter->lock_ops	4096-ptr_max
PARAM_VALUE	0	*ctx->send_msg->buf	0-255
PARAM_VALUE	1	type	8
PARAM_VALUE	2	buf	1922858103753523200
PARAM_VALUE	3	size	4
BUF_SIZE	2	buf	4
DATA_SOURCE	0	ctx	$0
NOCHECK_CALL
UNITS	3	size	unit_byte
LOCK2	0	&ctx->lock
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct anx7411_data)->lock

drivers/usb/typec/anx7411.c anx7411_config() -> anx7411_send_msg()

Type	Parameter	Key	Value
PARAM_VALUE	0	ctx	4096-ptr_max
PARAM_VALUE	0	ctx->lock.dep_map->name	0-255
PARAM_VALUE	0	ctx->lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	ctx->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ctx->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	ctx->lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	ctx->lock.wait_lock.owner	(-1)
PARAM_VALUE	0	ctx->lock.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	ctx->spi_client	4096-ptr_max
PARAM_VALUE	0	ctx->spi_client->adapter	4096-ptr_max
PARAM_VALUE	0	ctx->spi_client->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_right	0
PARAM_VALUE	0	ctx->spi_client->adapter->dev.driver_data->adev->pm.bus_locked	0-1
PARAM_VALUE	0	ctx->spi_client->adapter->dev.driver_data->adev->pm.mutex.dep_map->name	0-255
PARAM_VALUE	0	ctx->spi_client->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ctx->spi_client->adapter->lock_ops	4096-ptr_max
PARAM_VALUE	0	ctx->tcpc_client	4096-ptr_max
PARAM_VALUE	0	ctx->tcpc_client->adapter	4096-ptr_max
PARAM_VALUE	0	ctx->tcpc_client->adapter->dev.driver_data->adev->pm.bus_locked	0-1
PARAM_VALUE	0	ctx->tcpc_client->adapter->dev.driver_data->adev->pm.mutex.dep_map->name	0-255
PARAM_VALUE	0	ctx->tcpc_client->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ctx->tcpc_client->adapter->lock_ops	4096-ptr_max
PARAM_VALUE	1	type	1
PARAM_VALUE	2	buf	6819110219884384256
BUF_SIZE	2	buf	28
DATA_SOURCE	0	ctx	$0
NOCHECK_CALL
LOCK2	0	&ctx->lock
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct anx7411_data)->lock

drivers/usb/typec/anx7411.c anx7411_typec_check_connection() -> anx7411_send_msg()

Type	Parameter	Key	Value
PARAM_VALUE	0	ctx	4096-ptr_max
PARAM_VALUE	0	ctx->lock.dep_map->name	0-255
PARAM_VALUE	0	ctx->lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	ctx->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ctx->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	ctx->psy->changed	1
PARAM_VALUE	0	ctx->psy->changed_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ctx->psy->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ctx->spi_client	4096-ptr_max
PARAM_VALUE	0	ctx->spi_client->adapter	4096-ptr_max
PARAM_VALUE	0	ctx->spi_client->adapter->bus_lock.dep_map->name	0-255
PARAM_VALUE	0	ctx->spi_client->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_right	0
PARAM_VALUE	0	ctx->spi_client->adapter->dev.driver_data->adev->pm.bus_locked	0-1
PARAM_VALUE	0	ctx->spi_client->adapter->dev.driver_data->adev->pm.mutex.dep_map->name	0-255
PARAM_VALUE	0	ctx->spi_client->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ctx->spi_client->adapter->lock_ops	4096-ptr_max
PARAM_VALUE	0	ctx->tcpc_client	4096-ptr_max
PARAM_VALUE	0	ctx->tcpc_client->adapter	4096-ptr_max
PARAM_VALUE	0	ctx->tcpc_client->adapter->dev.driver_data->adev->pm.bus_locked	0-1
PARAM_VALUE	0	ctx->tcpc_client->adapter->dev.driver_data->adev->pm.mutex.dep_map->name	0-255
PARAM_VALUE	0	ctx->tcpc_client->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ctx->tcpc_client->adapter->lock_ops	4096-ptr_max
PARAM_VALUE	0	ctx->typec.caps.ops->dr_set	0,434805370254917632,2594394751384051712,4794790602804273152,5396003677776818176,6121032334441897984,6348138530173440000,6620086623342305280
PARAM_VALUE	0	ctx->typec.cc_connect	1-2
PARAM_VALUE	0	ctx->typec.cc_orientation_valid	0-1
PARAM_VALUE	0	ctx->typec.cc_status	0-255
PARAM_VALUE	0	ctx->typec.partner	4096-ptr_max
PARAM_VALUE	0	ctx->typec.pin_assignment	4
PARAM_VALUE	0	ctx->typec.port	4096-ptr_max
PARAM_VALUE	0	ctx->typec.port->mux->num_mux_devs	0-4294967295
PARAM_VALUE	0	ctx->typec.port->orientation	1-2
PARAM_VALUE	0	ctx->typec.port->partner_link_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ctx->typec.port->partner_link_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	ctx->typec.port->partner_link_lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	ctx->typec.port->partner_link_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	ctx->typec.port->partner_link_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	ctx->typec.port->partner_link_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	ctx->typec.port->pwr_opmode	0-3
PARAM_VALUE	0	ctx->typec.port->usb2_dev->kobj.sd->count.counter	s32min-s32max
PARAM_VALUE	0	ctx->typec.port->usb2_dev->kobj.sd->symlink.target_kn->count.counter	s32min-s32max
PARAM_VALUE	0	ctx->typec.port->usb3_dev->kobj.sd->count.counter	s32min-s32max
PARAM_VALUE	0	ctx->typec.port->usb3_dev->kobj.sd->symlink.target_kn->count.counter	s32min-s32max
PARAM_VALUE	0	ctx->typec.request_current	0-12750
PARAM_VALUE	0	ctx->typec.request_voltage	0-25500
PARAM_VALUE	1	type	47
PARAM_VALUE	2	buf	0
PARAM_VALUE	3	size	0
BUF_SIZE	0	ctx	s32min-(-2),1-s32max
BUF_SIZE	0	ctx	s32min-(-2),1-s32max
BUF_SIZE	0	ctx->dev	(-1),1616
BUF_SIZE	0	ctx->workqueue	(-1),512,528-8720
CAPPED_DATA	0	ctx->typec.port->mux->num_mux_devs	1
DATA_SOURCE	0	ctx	$0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE	0	ctx->intp_irq
NO_OVERFLOW_SIMPLE	0	ctx->psy->battery_info->resist_table_size
NO_OVERFLOW_SIMPLE	0	ctx->psy->desc->num_properties
NO_OVERFLOW_SIMPLE	0	ctx->tcpc_client->irq
UNITS	0	ctx	unit_byte
HALF_LOCKED2	0	&ctx->lock

drivers/usb/typec/anx7411.c anx7411_typec_check_connection() -> anx7411_send_msg()

Type	Parameter	Key	Value
PARAM_VALUE	0	ctx	4096-ptr_max
PARAM_VALUE	0	ctx->lock.dep_map->name	0-255
PARAM_VALUE	0	ctx->lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	ctx->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ctx->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	ctx->psy->changed	1
PARAM_VALUE	0	ctx->psy->changed_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ctx->psy->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ctx->send_msg.msg_len	1-31
PARAM_VALUE	0	ctx->send_msg.msg_type	0-2,8,46-47
PARAM_VALUE	0	ctx->spi_client	4096-ptr_max
PARAM_VALUE	0	ctx->spi_client->adapter	4096-ptr_max
PARAM_VALUE	0	ctx->spi_client->adapter->bus_lock.dep_map->name	0-255
PARAM_VALUE	0	ctx->spi_client->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_right	0
PARAM_VALUE	0	ctx->spi_client->adapter->dev.driver_data->adev->pm.bus_locked	0-1
PARAM_VALUE	0	ctx->spi_client->adapter->dev.driver_data->adev->pm.mutex.dep_map->name	0-255
PARAM_VALUE	0	ctx->spi_client->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ctx->spi_client->adapter->dev.driver_data->mutex->wait_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ctx->spi_client->adapter->lock_ops	4096-ptr_max
PARAM_VALUE	0	ctx->tcpc_client	4096-ptr_max
PARAM_VALUE	0	ctx->tcpc_client->adapter	4096-ptr_max
PARAM_VALUE	0	ctx->tcpc_client->adapter->dev.driver_data->adev->pm.bus_locked	0-1
PARAM_VALUE	0	ctx->tcpc_client->adapter->dev.driver_data->adev->pm.mutex.dep_map->name	0-255
PARAM_VALUE	0	ctx->tcpc_client->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ctx->tcpc_client->adapter->lock_ops	4096-ptr_max
PARAM_VALUE	0	ctx->typec.caps.ops->dr_set	0,434805370254917632,2594394751384051712,4794790602804273152,5396003677776818176,6121032334441897984,6348138530173440000,6620086623342305280
PARAM_VALUE	0	ctx->typec.cc_connect	1-2
PARAM_VALUE	0	ctx->typec.cc_orientation_valid	0-1
PARAM_VALUE	0	ctx->typec.cc_status	0-255
PARAM_VALUE	0	ctx->typec.partner	4096-ptr_max
PARAM_VALUE	0	ctx->typec.pin_assignment	4
PARAM_VALUE	0	ctx->typec.port	4096-ptr_max
PARAM_VALUE	0	ctx->typec.port->mux->num_mux_devs	0-4294967295
PARAM_VALUE	0	ctx->typec.port->orientation	1-2
PARAM_VALUE	0	ctx->typec.port->partner_link_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ctx->typec.port->partner_link_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	ctx->typec.port->partner_link_lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	ctx->typec.port->partner_link_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	ctx->typec.port->partner_link_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	ctx->typec.port->partner_link_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	ctx->typec.port->pwr_opmode	0-3
PARAM_VALUE	0	ctx->typec.port->usb2_dev->kobj.sd->count.counter	s32min-s32max
PARAM_VALUE	0	ctx->typec.port->usb2_dev->kobj.sd->symlink.target_kn->count.counter	s32min-s32max
PARAM_VALUE	0	ctx->typec.port->usb3_dev->kobj.sd->count.counter	s32min-s32max
PARAM_VALUE	0	ctx->typec.port->usb3_dev->kobj.sd->symlink.target_kn->count.counter	s32min-s32max
PARAM_VALUE	0	ctx->typec.request_current	0-12750
PARAM_VALUE	0	ctx->typec.request_voltage	0-25500
PARAM_VALUE	0	*ctx->send_msg->buf	0-255
PARAM_VALUE	1	type	46
PARAM_VALUE	2	buf	0
PARAM_VALUE	3	size	0
BUF_SIZE	0	ctx	s32min-(-2),1-s32max
BUF_SIZE	0	ctx	s32min-(-2),1-s32max
BUF_SIZE	0	ctx->dev	(-1),1616
BUF_SIZE	0	ctx->workqueue	(-1),512,528-8720
CAPPED_DATA	0	ctx->typec.port->mux->num_mux_devs	1
DATA_SOURCE	0	ctx	$0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE	0	ctx->intp_irq
NO_OVERFLOW_SIMPLE	0	ctx->psy->battery_info->resist_table_size
NO_OVERFLOW_SIMPLE	0	ctx->psy->desc->num_properties
NO_OVERFLOW_SIMPLE	0	ctx->tcpc_client->irq
UNITS	0	ctx	unit_byte
HALF_LOCKED2	0	&ctx->lock