Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/hsi/clients/hsi_char.c hsc_break_received() -> hsc_add_tail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | channel | 4096-ptr_max |
| PARAM_VALUE | 0 | channel->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->sgt.sgl | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->sgt.sgl->length | 0 |
| PARAM_VALUE | 1 | msg->status | 0 |
| PARAM_VALUE | 2 | queue | 4096-ptr_max |
| BUF_SIZE | 0 | channel | (-1),5248 |
| BUF_SIZE | 0 | channel | (-1),5248 |
| CAPPED_DATA | 0 | &channel->free_msgs_list | 1 |
| DATA_SOURCE | 1 | msg | r hsc_get_first_msg |
| PARAM_COMPARE | 0 | &channel->free_msgs_list | != $0->free_msgs_list.next |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/hsi/clients/hsi_char.c hsc_read() -> hsc_add_tail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | channel | 4096-ptr_max |
| PARAM_VALUE | 0 | channel->cl | 4096-ptr_max |
| PARAM_VALUE | 0 | channel->cl->rx_cfg.num_hw_channels | 1-u32max |
| PARAM_VALUE | 0 | channel->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->cl | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->cl->pclaimed | 1 |
| PARAM_VALUE | 1 | msg->complete | 0,4096-ptr_max |
| PARAM_VALUE | 1 | msg->destructor | 0,4096-ptr_max |
| PARAM_VALUE | 1 | msg->sgt.sgl | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->status | 4 |
| PARAM_VALUE | 1 | msg->ttype | 0 |
| PARAM_VALUE | 2 | queue | 4096-ptr_max |
| BUF_SIZE | 0 | channel | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | channel | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | channel->ch | 1 |
| CAPPED_DATA | 0 | &channel->free_msgs_list | 1 |
| CAPPED_DATA | 1 | msg | 1 |
| DATA_SOURCE | 1 | msg | r hsc_get_first_msg |
| PARAM_COMPARE | 0 | channel->ch | < $0->cl->rx_cfg.num_hw_channels |
| PARAM_COMPARE | 0 | &channel->free_msgs_list | != $0->free_msgs_list.next |
| PARAM_COMPARE | 2 | queue | != $0->free_msgs_list.next |
| NOCHECK_CALL | |||
| USER_DATA | 1 | msg->cl->rx_cfg.flow | 0 |
| USER_DATA | 1 | msg->cl->rx_cfg.num_hw_channels | 1-16 |
drivers/hsi/clients/hsi_char.c hsc_read() -> hsc_add_tail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | channel | 4096-ptr_max |
| PARAM_VALUE | 0 | channel->cl | 4096-ptr_max |
| PARAM_VALUE | 0 | channel->cl->pclaimed | 1 |
| PARAM_VALUE | 0 | channel->cl->rx_cfg.num_hw_channels | 1-u32max |
| PARAM_VALUE | 0 | channel->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->cl->device.driver_data->channels->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msg->cl->device.driver_data->keep_alive.flags | 0-4294967295 |
| PARAM_VALUE | 1 | msg->cl->device.driver_data->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msg->cl->device.driver_data->main_state | 0-2 |
| PARAM_VALUE | 1 | msg->cl->device.driver_data->netdev->carrier_down_count.counter | s32min-s32max |
| PARAM_VALUE | 1 | msg->cl->device.driver_data->netdev->carrier_up_count.counter | s32min-s32max |
| PARAM_VALUE | 1 | msg->cl->device.driver_data->netdev->refcnt_tracker.untracked.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | msg->cl->device.driver_data->rx_wd.flags | 0-4294967295 |
| PARAM_VALUE | 1 | msg->cl->device.driver_data->rxid | 0-255 |
| PARAM_VALUE | 1 | msg->cl->device.driver_data->tx_wd.flags | 0-4294967295 |
| PARAM_VALUE | 1 | msg->cl->device.driver_data->txid | 0-255 |
| PARAM_VALUE | 1 | msg->cl->device.driver_data->txqueue_len | 0-4294967295 |
| PARAM_VALUE | 1 | msg->cl->pclaimed | 1 |
| PARAM_VALUE | 1 | msg->context->_nfct | 0 |
| PARAM_VALUE | 1 | msg->context->_skb_refdst | 0 |
| PARAM_VALUE | 1 | msg->context->active_extensions | 0 |
| PARAM_VALUE | 1 | msg->context->cl->pclaimed | 1 |
| PARAM_VALUE | 1 | msg->context->cloned | 0-1 |
| PARAM_VALUE | 1 | msg->context->control_state | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->csum_start | 0-u16max |
| PARAM_VALUE | 1 | msg->context->data_len | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->data_rx_msg->cl->pclaimed | 1 |
| PARAM_VALUE | 1 | msg->context->data_rx_msg->complete | 3361766608020115456 |
| PARAM_VALUE | 1 | msg->context->data_rx_msg->sgt.sgl->offset | 0-4095 |
| PARAM_VALUE | 1 | msg->context->data_rx_msg->status | 0-4 |
| PARAM_VALUE | 1 | msg->context->data_state | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->destructor | 0 |
| PARAM_VALUE | 1 | msg->context->dev->priv->arfs->filter_count | s32min-s32max |
| PARAM_VALUE | 1 | msg->context->dev->priv->arfs->mode | 0-4 |
| PARAM_VALUE | 1 | msg->context->dev->priv->last_filter_id | s32min-s32max |
| PARAM_VALUE | 1 | msg->context->dev->priv->ntp_fltr_count | s32min-s32max |
| PARAM_VALUE | 1 | msg->context->dev->priv->sp_task.cpu | s32min-s32max |
| PARAM_VALUE | 1 | msg->context->dev->priv->sp_task.timer.flags | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->dev->priv->sp_task.timer.is_hard | 0-1 |
| PARAM_VALUE | 1 | msg->context->dev->priv->sp_task.timer.is_lazy | 0-1 |
| PARAM_VALUE | 1 | msg->context->dev->priv->sp_task.timer.is_queued | 0-1 |
| PARAM_VALUE | 1 | msg->context->dev->priv->sp_task.timer.is_soft | 0-1 |
| PARAM_VALUE | 1 | msg->context->end | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->extensions->refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | msg->context->hash | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->hdr_len | 0-u16max |
| PARAM_VALUE | 1 | msg->context->head_frag | 0-1 |
| PARAM_VALUE | 1 | msg->context->inner_mac_header | 0-u16max |
| PARAM_VALUE | 1 | msg->context->inner_network_header | 0-u16max |
| PARAM_VALUE | 1 | msg->context->inner_transport_header | 0-u16max |
| PARAM_VALUE | 1 | msg->context->l4_hash | 0-1 |
| PARAM_VALUE | 1 | msg->context->len | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msg->context->mac_header | 0-u16max |
| PARAM_VALUE | 1 | msg->context->mmap_cfg->rx_ptr | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->mmap_cfg->tstamp_rx_ctrl.tv_nsec | 0-999999999 |
| PARAM_VALUE | 1 | msg->context->mmap_cfg->tstamp_rx_ctrl.tv_sec | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->network_header | 0-u16max |
| PARAM_VALUE | 1 | msg->context->nohdr | 0-1 |
| PARAM_VALUE | 1 | msg->context->pfmemalloc | 0-1 |
| PARAM_VALUE | 1 | msg->context->pp_recycle | 0-1 |
| PARAM_VALUE | 1 | msg->context->protocol | 245 |
| PARAM_VALUE | 1 | msg->context->rx_slot | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->sk | 0 |
| PARAM_VALUE | 1 | msg->context->sk->__sk_common.skc_net.net->notrefcnt_tracker.dead | 1 |
| PARAM_VALUE | 1 | msg->context->sk->__sk_common.skc_net.net->refcnt_tracker.dead | 1 |
| PARAM_VALUE | 1 | msg->context->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | msg->context->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->sk->sk_bpf_storage->owner_refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | msg->context->sk->sk_callback_lock.owner | (-1) |
| PARAM_VALUE | 1 | msg->context->sk->sk_callback_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | msg->context->sk->sk_callback_lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 1 | msg->context->status | 0,2-4 |
| PARAM_VALUE | 1 | msg->context->sw_hash | 0-1 |
| PARAM_VALUE | 1 | msg->context->tail | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->transport_header | 0-u16max |
| PARAM_VALUE | 1 | msg->context->truesize | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->ttype | 1 |
| PARAM_VALUE | 1 | msg->context->unreadable | 0-1 |
| PARAM_VALUE | 1 | msg->context->users.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | msg->link.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->sgt.sgl->dma_address | 0 |
| PARAM_VALUE | 1 | msg->sgt.sgl->dma_flags | 0 |
| PARAM_VALUE | 1 | msg->sgt.sgl->dma_length | 0 |
| PARAM_VALUE | 1 | msg->sgt.sgl->offset | 0-4095 |
| PARAM_VALUE | 1 | *msg->cl->device.driver_data->netdev->pcpu_refcnt | s32min-s32max |
| PARAM_VALUE | 1 | *msg->context->sk->sk_callback_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 2 | queue | 4096-ptr_max |
| BUF_SIZE | 0 | channel | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | channel | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | channel->ch | 1 |
| CAPPED_DATA | 0 | &channel->free_msgs_list | 1 |
| CAPPED_DATA | 0 | &channel->rx_msgs_queue | 1 |
| DATA_SOURCE | 1 | msg | r hsc_get_first_msg |
| PARAM_COMPARE | 0 | channel->ch | < $0->cl->rx_cfg.num_hw_channels |
| PARAM_COMPARE | 0 | &channel->free_msgs_list | != $0->free_msgs_list.next |
| PARAM_COMPARE | 0 | &channel->rx_msgs_queue | != $0->rx_msgs_queue.next |
| PARAM_COMPARE | 2 | queue | != $0->free_msgs_list.next |
| NOCHECK_CALL | |||
| USER_DATA | 1 | msg->cl->rx_cfg.flow | 0 |
| USER_DATA | 1 | msg->cl->rx_cfg.num_hw_channels | 1-16 |
| USER_DATA | 1 | msg->context->cl->rx_cfg.flow | 0 |
| USER_DATA | 1 | msg->context->cl->rx_cfg.num_hw_channels | 1-16 |
drivers/hsi/clients/hsi_char.c hsc_rx_completed() -> hsc_add_tail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | channel | 4096-ptr_max |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->cl | 4096-ptr_max |
| PARAM_VALUE | 2 | queue | 4096-ptr_max |
| BUF_SIZE | 1 | msg | (-1)-s32max |
| BUF_SIZE | 1 | msg | (-1)-s32max |
| BUF_SIZE | 1 | msg->context | (-1)-s32max |
| DATA_SOURCE | 1 | msg | $0 |
| NOSPEC | 1 | msg->sgt.sgl->length | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | msg->cl->rx_cfg.flow | 0 |
| USER_DATA | 1 | msg->cl->rx_cfg.num_hw_channels | 1-16 |
| USER_DATA | 1 | msg->sgt.sgl->length | 1-1000000000[c] |
| NO_OVERFLOW_SIMPLE | 1 | msg->sgt.orig_nents | |
| HALF_LOCKED2 | &omap_port->lock | ||
| HALF_LOCKED2 | bh |
drivers/hsi/clients/hsi_char.c hsc_rx_completed() -> hsc_add_tail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | channel | 4096-ptr_max |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->cl | 4096-ptr_max |
| PARAM_VALUE | 2 | queue | 4096-ptr_max |
| BUF_SIZE | 1 | msg | (-1)-s32max |
| BUF_SIZE | 1 | msg | (-1)-s32max |
| BUF_SIZE | 1 | msg->context | (-1)-s32max |
| DATA_SOURCE | 1 | msg | $0 |
| NOSPEC | 1 | msg->sgt.sgl->length | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | msg->cl->rx_cfg.flow | 0 |
| USER_DATA | 1 | msg->cl->rx_cfg.num_hw_channels | 1-16 |
| USER_DATA | 1 | msg->sgt.sgl->length | 1-1000000000[c] |
| NO_OVERFLOW_SIMPLE | 1 | msg->sgt.orig_nents | |
| HALF_LOCKED2 | &omap_port->lock | ||
| HALF_LOCKED2 | bh |
drivers/hsi/clients/hsi_char.c hsc_tx_completed() -> hsc_add_tail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | channel | 4096-ptr_max |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->cl | 4096-ptr_max |
| PARAM_VALUE | 2 | queue | 4096-ptr_max |
| BUF_SIZE | 1 | msg | (-1)-s32max |
| BUF_SIZE | 1 | msg | (-1)-s32max |
| BUF_SIZE | 1 | msg->context | (-1)-s32max |
| DATA_SOURCE | 1 | msg | $0 |
| NOSPEC | 1 | msg->sgt.sgl->length | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | msg->cl->rx_cfg.flow | 0 |
| USER_DATA | 1 | msg->cl->rx_cfg.num_hw_channels | 1-16 |
| USER_DATA | 1 | msg->sgt.sgl->length | 1-1000000000[c] |
| NO_OVERFLOW_SIMPLE | 1 | msg->sgt.orig_nents | |
| HALF_LOCKED2 | &omap_port->lock | ||
| HALF_LOCKED2 | bh |
drivers/hsi/clients/hsi_char.c hsc_tx_completed() -> hsc_add_tail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | channel | 4096-ptr_max |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->cl | 4096-ptr_max |
| PARAM_VALUE | 2 | queue | 4096-ptr_max |
| BUF_SIZE | 1 | msg | (-1)-s32max |
| BUF_SIZE | 1 | msg | (-1)-s32max |
| BUF_SIZE | 1 | msg->context | (-1)-s32max |
| DATA_SOURCE | 1 | msg | $0 |
| NOSPEC | 1 | msg->sgt.sgl->length | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | msg->cl->rx_cfg.flow | 0 |
| USER_DATA | 1 | msg->cl->rx_cfg.num_hw_channels | 1-16 |
| USER_DATA | 1 | msg->sgt.sgl->length | 1-1000000000[c] |
| NO_OVERFLOW_SIMPLE | 1 | msg->sgt.orig_nents | |
| HALF_LOCKED2 | &omap_port->lock | ||
| HALF_LOCKED2 | bh |
drivers/hsi/clients/hsi_char.c hsc_write() -> hsc_add_tail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | channel | 4096-ptr_max |
| PARAM_VALUE | 0 | channel->cl | 4096-ptr_max |
| PARAM_VALUE | 0 | channel->cl->pclaimed | 1 |
| PARAM_VALUE | 0 | channel->cl->tx_cfg.num_hw_channels | 1-u32max |
| PARAM_VALUE | 0 | channel->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->cl->device.driver_data->channels->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msg->cl->device.driver_data->keep_alive.flags | 0-4294967295 |
| PARAM_VALUE | 1 | msg->cl->device.driver_data->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msg->cl->device.driver_data->main_state | 0-2 |
| PARAM_VALUE | 1 | msg->cl->device.driver_data->netdev->carrier_down_count.counter | s32min-s32max |
| PARAM_VALUE | 1 | msg->cl->device.driver_data->netdev->carrier_up_count.counter | s32min-s32max |
| PARAM_VALUE | 1 | msg->cl->device.driver_data->netdev->refcnt_tracker.untracked.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | msg->cl->device.driver_data->rx_wd.flags | 0-4294967295 |
| PARAM_VALUE | 1 | msg->cl->device.driver_data->rxid | 0-255 |
| PARAM_VALUE | 1 | msg->cl->device.driver_data->tx_wd.flags | 0-4294967295 |
| PARAM_VALUE | 1 | msg->cl->device.driver_data->txid | 0-255 |
| PARAM_VALUE | 1 | msg->cl->device.driver_data->txqueue_len | 0-4294967295 |
| PARAM_VALUE | 1 | msg->cl->pclaimed | 1 |
| PARAM_VALUE | 1 | msg->context->_nfct | 0 |
| PARAM_VALUE | 1 | msg->context->_skb_refdst | 0 |
| PARAM_VALUE | 1 | msg->context->active_extensions | 0 |
| PARAM_VALUE | 1 | msg->context->cl->pclaimed | 1 |
| PARAM_VALUE | 1 | msg->context->cloned | 0-1 |
| PARAM_VALUE | 1 | msg->context->control_state | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->csum_start | 0-u16max |
| PARAM_VALUE | 1 | msg->context->data_len | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->data_rx_msg->cl->pclaimed | 1 |
| PARAM_VALUE | 1 | msg->context->data_rx_msg->complete | 3361766608020115456 |
| PARAM_VALUE | 1 | msg->context->data_rx_msg->sgt.sgl->offset | 0-4095 |
| PARAM_VALUE | 1 | msg->context->data_rx_msg->status | 0-4 |
| PARAM_VALUE | 1 | msg->context->data_state | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->destructor | 0 |
| PARAM_VALUE | 1 | msg->context->dev->priv->arfs->filter_count | s32min-s32max |
| PARAM_VALUE | 1 | msg->context->dev->priv->arfs->mode | 0-4 |
| PARAM_VALUE | 1 | msg->context->dev->priv->last_filter_id | s32min-s32max |
| PARAM_VALUE | 1 | msg->context->dev->priv->ntp_fltr_count | s32min-s32max |
| PARAM_VALUE | 1 | msg->context->dev->priv->sp_task.cpu | s32min-s32max |
| PARAM_VALUE | 1 | msg->context->dev->priv->sp_task.timer.flags | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->dev->priv->sp_task.timer.is_hard | 0-1 |
| PARAM_VALUE | 1 | msg->context->dev->priv->sp_task.timer.is_lazy | 0-1 |
| PARAM_VALUE | 1 | msg->context->dev->priv->sp_task.timer.is_queued | 0-1 |
| PARAM_VALUE | 1 | msg->context->dev->priv->sp_task.timer.is_soft | 0-1 |
| PARAM_VALUE | 1 | msg->context->end | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->extensions->refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | msg->context->hash | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->hdr_len | 0-u16max |
| PARAM_VALUE | 1 | msg->context->head_frag | 0-1 |
| PARAM_VALUE | 1 | msg->context->inner_mac_header | 0-u16max |
| PARAM_VALUE | 1 | msg->context->inner_network_header | 0-u16max |
| PARAM_VALUE | 1 | msg->context->inner_transport_header | 0-u16max |
| PARAM_VALUE | 1 | msg->context->l4_hash | 0-1 |
| PARAM_VALUE | 1 | msg->context->len | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | msg->context->mac_header | 0-u16max |
| PARAM_VALUE | 1 | msg->context->mmap_cfg->rx_ptr | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->mmap_cfg->tstamp_rx_ctrl.tv_nsec | 0-999999999 |
| PARAM_VALUE | 1 | msg->context->mmap_cfg->tstamp_rx_ctrl.tv_sec | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->network_header | 0-u16max |
| PARAM_VALUE | 1 | msg->context->nohdr | 0-1 |
| PARAM_VALUE | 1 | msg->context->pfmemalloc | 0-1 |
| PARAM_VALUE | 1 | msg->context->pp_recycle | 0-1 |
| PARAM_VALUE | 1 | msg->context->protocol | 245 |
| PARAM_VALUE | 1 | msg->context->rx_slot | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->sk | 0 |
| PARAM_VALUE | 1 | msg->context->sk->__sk_common.skc_net.net->notrefcnt_tracker.dead | 1 |
| PARAM_VALUE | 1 | msg->context->sk->__sk_common.skc_net.net->refcnt_tracker.dead | 1 |
| PARAM_VALUE | 1 | msg->context->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | msg->context->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->sk->sk_bpf_storage->owner_refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | msg->context->sk->sk_callback_lock.owner | (-1) |
| PARAM_VALUE | 1 | msg->context->sk->sk_callback_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | msg->context->sk->sk_callback_lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 1 | msg->context->status | 0,2-4 |
| PARAM_VALUE | 1 | msg->context->sw_hash | 0-1 |
| PARAM_VALUE | 1 | msg->context->tail | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->transport_header | 0-u16max |
| PARAM_VALUE | 1 | msg->context->truesize | 0-4294967295 |
| PARAM_VALUE | 1 | msg->context->ttype | 1 |
| PARAM_VALUE | 1 | msg->context->unreadable | 0-1 |
| PARAM_VALUE | 1 | msg->context->users.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | msg->link.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->sgt.sgl->dma_address | 0 |
| PARAM_VALUE | 1 | msg->sgt.sgl->dma_flags | 0 |
| PARAM_VALUE | 1 | msg->sgt.sgl->dma_length | 0 |
| PARAM_VALUE | 1 | msg->sgt.sgl->offset | 0-4095 |
| PARAM_VALUE | 1 | *msg->cl->device.driver_data->netdev->pcpu_refcnt | s32min-s32max |
| PARAM_VALUE | 1 | *msg->context->sk->sk_callback_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 2 | queue | 4096-ptr_max |
| BUF_SIZE | 0 | channel | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | channel | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | channel->ch | 1 |
| CAPPED_DATA | 0 | &channel->free_msgs_list | 1 |
| CAPPED_DATA | 0 | &channel->tx_msgs_queue | 1 |
| DATA_SOURCE | 1 | msg | r hsc_get_first_msg |
| PARAM_COMPARE | 0 | channel->ch | < $0->cl->tx_cfg.num_hw_channels |
| PARAM_COMPARE | 0 | &channel->free_msgs_list | != $0->free_msgs_list.next |
| PARAM_COMPARE | 0 | &channel->tx_msgs_queue | != $0->tx_msgs_queue.next |
| PARAM_COMPARE | 2 | queue | != $0->free_msgs_list.next |
| NOCHECK_CALL | |||
| USER_DATA | 1 | msg->cl->rx_cfg.flow | 0 |
| USER_DATA | 1 | msg->cl->rx_cfg.num_hw_channels | 1-16 |
| USER_DATA | 1 | msg->context->cl->rx_cfg.flow | 0 |
| USER_DATA | 1 | msg->context->cl->rx_cfg.num_hw_channels | 1-16 |