Defined in 2 files as a function:
- drivers/net/ethernet/sfc/ptp.c, line 1201 (as a function)
- drivers/net/ethernet/sfc/siena/ptp.c, line 1253 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/net/ethernet/sfc/siena/ptp.c efx_ptp_worker() -> efx_ptp_process_rx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->ptp_data | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->ptp_data->evt_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | efx->ptp_data->rxq.next | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->ptp_data->rxq.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->ptp_data->rxq.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | *efx->net_dev->name | 0-255 |
| PARAM_VALUE | 1 | skb | 4096-2102378090092347392 |
| PARAM_VALUE | 1 | skb->cb | 4096-ptr_max |
| PARAM_VALUE | 1 | skb->cb->dst0 | 0-u16max |
| PARAM_VALUE | 1 | skb->cb->dst1 | 0-u16max |
| PARAM_VALUE | 1 | skb->cb->dsthao | 0-u16max |
| PARAM_VALUE | 1 | skb->cb->flags | 0-u16max |
| PARAM_VALUE | 1 | skb->cb->frag_max_size | 0-u16max |
| PARAM_VALUE | 1 | skb->cb->iif | s32min-s32max |
| PARAM_VALUE | 1 | skb->cb->lastopt | 0-u16max |
| PARAM_VALUE | 1 | skb->cb->nhoff | 0,40 |
| PARAM_VALUE | 1 | skb->cb->ptp_type | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | skb->cb->ra | 0-u16max |
| PARAM_VALUE | 1 | skb->cb->srcrt | 0-u16max |
| PARAM_VALUE | 1 | skb->cb->srhoff | 0-u16max |
| PARAM_VALUE | 1 | skb->dev->ethtool_ops->get_link_ext_state | 0-9223372036854775807 |
| PARAM_VALUE | 1 | skb->dev->ethtool_ops->get_mm_stats | 0-9223372036854775807 |
| PARAM_VALUE | 1 | skb->dev->ethtool_ops->rxfh_max_num_contexts | 0,2,8,16,33 |
| PARAM_VALUE | 1 | skb->dev->hwprov->source | 0-2 |
| PARAM_VALUE | 1 | skb->dev->ip6_ptr->mc_query_work.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 1 | skb->dev->ip6_ptr->mc_query_work.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 1 | skb->dev->ip6_ptr->mc_query_work.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 1 | skb->dev->ip6_ptr->mc_report_work.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 1 | skb->dev->ip6_ptr->mc_report_work.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 1 | skb->dev->ip6_ptr->mc_report_work.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 1 | skb->dev->ip6_ptr->stats.proc_dir_entry | 0,4806605944481423360 |
| PARAM_VALUE | 1 | skb->dev->linkwatch_dev_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | skb->dev->linkwatch_dev_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | skb->dev->nd_net.net->gen->s.len | 0-s32max |
| PARAM_VALUE | 1 | skb->dev->nd_net.net->ipv4.fqdir->f | 0,2623593239163551744,2848917907979182080,2914521387540934656,3268414198954766336 |
| PARAM_VALUE | 1 | skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire | 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560 |
| PARAM_VALUE | 1 | skb->dev->nd_net.net->ipv4.fqdir->f->qsize | 0,304,320 |
| PARAM_VALUE | 1 | skb->dev->ndisc_ops->fill_addr_option | 4096-ptr_max |
| PARAM_VALUE | 1 | skb->dev->ndisc_ops->parse_options | 4096-ptr_max |
| PARAM_VALUE | 1 | skb->dev->ndisc_ops->update | 4096-ptr_max |
| PARAM_VALUE | 1 | skb->dev->priomap->priomap_len | 0,27,59 |
| PARAM_VALUE | 1 | skb->dev->priv->arfs->arfs_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | skb->dev->priv->filters_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | skb->dev->priv->ntp_fltr_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | skb->dev->priv->rps_hash_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | skb->dev->priv->sp_task.timer.is_hard | 0-1 |
| PARAM_VALUE | 1 | skb->dev->priv->sp_task.timer.is_lazy | 0-1 |
| PARAM_VALUE | 1 | skb->dev->priv->sp_task.timer.is_queued | 0-1 |
| PARAM_VALUE | 1 | skb->dev->priv->sp_task.timer.is_soft | 0-1 |
| PARAM_VALUE | 1 | skb->dev->rtnl_link_ops->maxtype | 0-6,8-10,15,18,20,22,24,34,50 |
| PARAM_VALUE | 1 | skb->dev->rtnl_link_ops->priv_size | 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3552,3720,9688-u64max |
| PARAM_VALUE | 1 | skb->next | 0 |
| PARAM_VALUE | 1 | skb->prev | 0 |
| PARAM_VALUE | 1 | skb->sk->__sk_common.skc_net.net->notrefcnt_tracker.dead | 1 |
| PARAM_VALUE | 1 | skb->sk->__sk_common.skc_net.net->notrefcnt_tracker.quarantine.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | skb->sk->__sk_common.skc_net.net->refcnt_tracker.dead | 1 |
| PARAM_VALUE | 1 | skb->sk->__sk_common.skc_net.net->xfrm.nat_keepalive_work.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 1 | skb->sk->__sk_common.skc_net.net->xfrm.nat_keepalive_work.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 1 | skb->sk->__sk_common.skc_net.net->xfrm.nat_keepalive_work.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 1 | skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | skb->sk->sk_bpf_storage->owner_refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | skb->sk->sk_callback_lock.owner | (-1) |
| PARAM_VALUE | 1 | skb->sk->sk_callback_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | skb->sk->sk_callback_lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 1 | skb->sk->sk_callback_lock.raw_lock.wlocked | 0 |
| PARAM_VALUE | 1 | skb->sk->sk_filter->rcu.func | 1-u64max |
| PARAM_VALUE | 1 | skb->sk->sk_rcu.func | 1-u64max |
| PARAM_VALUE | 1 | skb->sk->sk_rcu.next | 0 |
| PARAM_VALUE | 1 | skb->sk->sk_reuseport_cb | 0 |
| PARAM_VALUE | 1 | skb->sk->sk_user_data | 0 |
| DATA_SOURCE | 1 | skb | r __skb_dequeue |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/net/ethernet/sfc/ptp.c efx_ptp_worker() -> efx_ptp_process_rx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->ptp_data | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->ptp_data->rxq.next | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->ptp_data->rxq.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->ptp_data->rxq.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | skb | 4096-7830972722516660224 |
| PARAM_VALUE | 1 | skb->cb | 4096-ptr_max |
| PARAM_VALUE | 1 | skb->cb->dst0 | 0-u16max |
| PARAM_VALUE | 1 | skb->cb->dst1 | 0-u16max |
| PARAM_VALUE | 1 | skb->cb->dsthao | 0-u16max |
| PARAM_VALUE | 1 | skb->cb->flags | 0-u16max |
| PARAM_VALUE | 1 | skb->cb->frag_max_size | 0-u16max |
| PARAM_VALUE | 1 | skb->cb->iif | s32min-s32max |
| PARAM_VALUE | 1 | skb->cb->lastopt | 0-u16max |
| PARAM_VALUE | 1 | skb->cb->nhoff | 0,40 |
| PARAM_VALUE | 1 | skb->cb->ptp_type | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | skb->cb->ra | 0-u16max |
| PARAM_VALUE | 1 | skb->cb->srcrt | 0-u16max |
| PARAM_VALUE | 1 | skb->cb->srhoff | 0-u16max |
| PARAM_VALUE | 1 | skb->dev->ethtool_ops->get_link_ext_state | 0-9223372036854775807 |
| PARAM_VALUE | 1 | skb->dev->ethtool_ops->get_mm_stats | 0-9223372036854775807 |
| PARAM_VALUE | 1 | skb->dev->ethtool_ops->rxfh_max_num_contexts | 0,2,8,16,33 |
| PARAM_VALUE | 1 | skb->dev->hwprov->source | 0-2 |
| PARAM_VALUE | 1 | skb->dev->ip6_ptr->mc_query_work.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 1 | skb->dev->ip6_ptr->mc_query_work.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 1 | skb->dev->ip6_ptr->mc_query_work.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 1 | skb->dev->ip6_ptr->mc_report_work.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 1 | skb->dev->ip6_ptr->mc_report_work.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 1 | skb->dev->ip6_ptr->mc_report_work.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 1 | skb->dev->ip6_ptr->stats.proc_dir_entry | 0,4806605944481423360 |
| PARAM_VALUE | 1 | skb->dev->linkwatch_dev_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | skb->dev->linkwatch_dev_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | skb->dev->nd_net.net->gen->s.len | 0-s32max |
| PARAM_VALUE | 1 | skb->dev->nd_net.net->ipv4.fqdir->f | 0,2623593239163551744,2848917907979182080,2914521387540934656,3268414198954766336 |
| PARAM_VALUE | 1 | skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire | 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560 |
| PARAM_VALUE | 1 | skb->dev->nd_net.net->ipv4.fqdir->f->qsize | 0,304,320 |
| PARAM_VALUE | 1 | skb->dev->ndisc_ops->fill_addr_option | 4096-ptr_max |
| PARAM_VALUE | 1 | skb->dev->ndisc_ops->parse_options | 4096-ptr_max |
| PARAM_VALUE | 1 | skb->dev->ndisc_ops->update | 4096-ptr_max |
| PARAM_VALUE | 1 | skb->dev->priomap->priomap_len | 0,27,59 |
| PARAM_VALUE | 1 | skb->dev->priv->arfs->arfs_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | skb->dev->priv->filters_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | skb->dev->priv->ntp_fltr_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | skb->dev->priv->rps_hash_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | skb->dev->priv->sp_task.timer.is_hard | 0-1 |
| PARAM_VALUE | 1 | skb->dev->priv->sp_task.timer.is_lazy | 0-1 |
| PARAM_VALUE | 1 | skb->dev->priv->sp_task.timer.is_queued | 0-1 |
| PARAM_VALUE | 1 | skb->dev->priv->sp_task.timer.is_soft | 0-1 |
| PARAM_VALUE | 1 | skb->dev->rtnl_link_ops->maxtype | 0-6,8-10,15,18,20,22,24,34,50 |
| PARAM_VALUE | 1 | skb->dev->rtnl_link_ops->priv_size | 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3552,3720,9688-u64max |
| PARAM_VALUE | 1 | skb->next | 0 |
| PARAM_VALUE | 1 | skb->prev | 0 |
| PARAM_VALUE | 1 | skb->sk->__sk_common.skc_net.net->notrefcnt_tracker.dead | 1 |
| PARAM_VALUE | 1 | skb->sk->__sk_common.skc_net.net->notrefcnt_tracker.quarantine.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | skb->sk->__sk_common.skc_net.net->refcnt_tracker.dead | 1 |
| PARAM_VALUE | 1 | skb->sk->__sk_common.skc_net.net->xfrm.nat_keepalive_work.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 1 | skb->sk->__sk_common.skc_net.net->xfrm.nat_keepalive_work.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 1 | skb->sk->__sk_common.skc_net.net->xfrm.nat_keepalive_work.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 1 | skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | skb->sk->sk_bpf_storage->owner_refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | skb->sk->sk_callback_lock.owner | (-1) |
| PARAM_VALUE | 1 | skb->sk->sk_callback_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | skb->sk->sk_callback_lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 1 | skb->sk->sk_callback_lock.raw_lock.wlocked | 0 |
| PARAM_VALUE | 1 | skb->sk->sk_filter->rcu.func | 1-u64max |
| PARAM_VALUE | 1 | skb->sk->sk_rcu.func | 1-u64max |
| PARAM_VALUE | 1 | skb->sk->sk_rcu.next | 0 |
| PARAM_VALUE | 1 | skb->sk->sk_reuseport_cb | 0 |
| PARAM_VALUE | 1 | skb->sk->sk_user_data | 0 |
| DATA_SOURCE | 1 | skb | r __skb_dequeue |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |