t7xx_fsm_append_event identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/net/wwan/t7xx/t7xx_state_monitor.h, line 126 (as a prototype)

Defined in 1 files as a function:

drivers/net/wwan/t7xx/t7xx_state_monitor.c, line 524 (as a function)

Referenced in 3 files:

Smatch caller information:

drivers/net/wwan/t7xx/t7xx_state_monitor.c fsm_routine_starting() -> t7xx_fsm_append_event()

Type	Parameter	Key	Value
PARAM_VALUE	0	ctl	4096-ptr_max
PARAM_VALUE	0	ctl->command_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ctl->curr_state	2
PARAM_VALUE	0	ctl->md	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_ap.ctl_port	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_ap.ctl_port->port_conf	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_ap.ctl_port->rx_length_th	0,16,32
PARAM_VALUE	0	ctl->md->core_ap.ctl_port->rx_skb_list.next	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_ap.ctl_port->rx_skb_list.prev	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_ap.ctl_port->rx_wq.head.next	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_ap.ctl_port->rx_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_ap.ctl_port->wwan.wwan_port	0,4096-u64max
PARAM_VALUE	0	ctl->md->core_md.ctl_port	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_md.ctl_port->port_conf	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_md.ctl_port->rx_length_th	0,16,32
PARAM_VALUE	0	ctl->md->core_md.ctl_port->rx_skb_list.next	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_md.ctl_port->rx_skb_list.prev	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_md.ctl_port->rx_wq.head.next	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_md.ctl_port->rx_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_md.ctl_port->wwan.wwan_port	0,4096-u64max
PARAM_VALUE	0	ctl->md->core_md.handshake_ongoing	1
PARAM_VALUE	0	ctl->md->core_md.ready	0
PARAM_VALUE	0	ctl->md->exp_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ctl->md->fsm_ctl	4096-ptr_max
PARAM_VALUE	0	ctl->md->fsm_ctl->exp_flg	1
PARAM_VALUE	0	ctl->md->fsm_ctl->notifier_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ctl->md->md_ctrl	4096-ptr_max
PARAM_VALUE	0	ctl->md->port_prox	4096-ptr_max
PARAM_VALUE	0	ctl->md->port_prox->cfg_id	1-2
PARAM_VALUE	0	ctl->md->port_prox->port_count	1,7
PARAM_VALUE	0	ctl->md->t7xx_dev	4096-ptr_max
PARAM_VALUE	0	ctl->md->t7xx_dev->pdev->dev.kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	ctl->md->t7xx_dev->pdev->dev.kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	ctl->md->t7xx_dev->pdev->dev.kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	ctl->md->t7xx_dev->pdev->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	ctl->md_state	1
PARAM_VALUE	1	event_id	6
PARAM_VALUE	2	data	0
PARAM_VALUE	3	length	0
BUF_SIZE	0	ctl	128
BUF_SIZE	0	ctl	128
CAPPED_DATA	0	ctl->md->port_prox->port_count	1
DATA_SOURCE	0	ctl	$0
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	ctl->md->exp_id	0-u32max[c]
HOST_DATA	0	ctl->status	0-u32max

drivers/net/wwan/t7xx/t7xx_state_monitor.c fsm_routine_starting() -> t7xx_fsm_append_event()

Type	Parameter	Key	Value
PARAM_VALUE	0	ctl	4096-ptr_max
PARAM_VALUE	0	ctl->command_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ctl->curr_state	2
PARAM_VALUE	0	ctl->md	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_ap.ctl_port	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_ap.ctl_port->port_conf	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_ap.ctl_port->rx_length_th	0,16,32
PARAM_VALUE	0	ctl->md->core_ap.ctl_port->rx_skb_list.next	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_ap.ctl_port->rx_skb_list.prev	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_ap.ctl_port->rx_wq.head.next	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_ap.ctl_port->rx_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_ap.ctl_port->wwan.wwan_port	0,4096-u64max
PARAM_VALUE	0	ctl->md->core_ap.handshake_ongoing	1
PARAM_VALUE	0	ctl->md->core_ap.ready	0
PARAM_VALUE	0	ctl->md->core_md.ctl_port	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_md.ctl_port->port_conf	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_md.ctl_port->rx_length_th	0,16,32
PARAM_VALUE	0	ctl->md->core_md.ctl_port->rx_skb_list.next	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_md.ctl_port->rx_skb_list.prev	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_md.ctl_port->rx_wq.head.next	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_md.ctl_port->rx_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	ctl->md->core_md.ctl_port->wwan.wwan_port	0,4096-u64max
PARAM_VALUE	0	ctl->md->core_md.ready	1
PARAM_VALUE	0	ctl->md->exp_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ctl->md->fsm_ctl	4096-ptr_max
PARAM_VALUE	0	ctl->md->fsm_ctl->exp_flg	1
PARAM_VALUE	0	ctl->md->fsm_ctl->notifier_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ctl->md->md_ctrl	4096-ptr_max
PARAM_VALUE	0	ctl->md->port_prox	4096-ptr_max
PARAM_VALUE	0	ctl->md->port_prox->cfg_id	1-2
PARAM_VALUE	0	ctl->md->port_prox->port_count	1,7
PARAM_VALUE	0	ctl->md->t7xx_dev	4096-ptr_max
PARAM_VALUE	0	ctl->md->t7xx_dev->pdev->dev.kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	ctl->md->t7xx_dev->pdev->dev.kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	ctl->md->t7xx_dev->pdev->dev.kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	ctl->md->t7xx_dev->pdev->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	ctl->md_state	1
PARAM_VALUE	1	event_id	7
PARAM_VALUE	2	data	0
PARAM_VALUE	3	length	0
BUF_SIZE	0	ctl	128
BUF_SIZE	0	ctl	128
CAPPED_DATA	0	ctl->md->port_prox->port_count	1
DATA_SOURCE	0	ctl	$0
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	ctl->md->exp_id	0-u32max[c]
HOST_DATA	0	ctl->status	0-u32max

drivers/net/wwan/t7xx/t7xx_modem_ops.c t7xx_core_reset() -> t7xx_fsm_append_event()

Type	Parameter	Key	Value
PARAM_VALUE	0	ctl	4096-ptr_max
PARAM_VALUE	0	ctl->curr_state	6
PARAM_VALUE	0	ctl->exp_flg	0
PARAM_VALUE	0	ctl->md	4096-ptr_max
PARAM_VALUE	0	ctl->status	0
PARAM_VALUE	1	event_id	6
PARAM_VALUE	2	data	0
PARAM_VALUE	3	length	0

drivers/net/wwan/t7xx/t7xx_port_ctrl_msg.c control_msg_handler() -> t7xx_fsm_append_event()

Type	Parameter	Key	Value
PARAM_VALUE	1	event_id	1-2
PARAM_VALUE	2	data	4096-ptr_max
BUF_SIZE	2	data	1-s32max
RX_PATH
USER_DATA	3	length	0-u32max[u]
UNITS	2	data	unit_byte
UNITS	3	length	unit_byte

drivers/net/wwan/t7xx/t7xx_port_ctrl_msg.c fsm_ee_message_handler() -> t7xx_fsm_append_event()

Type	Parameter	Key	Value
PARAM_VALUE	0	ctl	4096-ptr_max
PARAM_VALUE	0	ctl->md	4096-ptr_max
PARAM_VALUE	0	ctl->md->t7xx_dev	4096-ptr_max
PARAM_VALUE	1	event_id	3
PARAM_VALUE	2	data	0
PARAM_VALUE	3	length	0
DATA_SOURCE	0	ctl	$1
RX_PATH

drivers/net/wwan/t7xx/t7xx_port_ctrl_msg.c fsm_ee_message_handler() -> t7xx_fsm_append_event()

Type	Parameter	Key	Value
PARAM_VALUE	0	ctl	4096-ptr_max
PARAM_VALUE	0	ctl->md	4096-ptr_max
PARAM_VALUE	0	ctl->md->t7xx_dev	4096-ptr_max
PARAM_VALUE	1	event_id	4
PARAM_VALUE	2	data	0
PARAM_VALUE	3	length	0
DATA_SOURCE	0	ctl	$1
RX_PATH

drivers/net/wwan/t7xx/t7xx_port_ctrl_msg.c fsm_ee_message_handler() -> t7xx_fsm_append_event()

Type	Parameter	Key	Value
PARAM_VALUE	0	ctl	4096-ptr_max
PARAM_VALUE	0	ctl->md	4096-ptr_max
PARAM_VALUE	0	ctl->md->t7xx_dev	4096-ptr_max
PARAM_VALUE	1	event_id	5
PARAM_VALUE	2	data	0
PARAM_VALUE	3	length	0
DATA_SOURCE	0	ctl	$1
RX_PATH