Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/devlink/resource.c devlink_resource_fill() -> devlink_resource_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | devlink | 4096-ptr_max |
| PARAM_VALUE | 0 | devlink->dev | 0,4096-ptr_max |
| PARAM_VALUE | 1 | skb | 4096-ptr_max |
| PARAM_VALUE | 1 | skb->data_len | 0 |
| PARAM_VALUE | 1 | skb->sk->__sk_common.skc_net.net->gen->s.len | 0-s32max |
| PARAM_VALUE | 1 | skb->sk->__sk_common.skc_net.net->notrefcnt_tracker.dead | 1 |
| 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->__sk_common.skc_net.net->xfrm.policy_hthresh.work.function | 1626621062881370112 |
| PARAM_VALUE | 1 | skb->sk->__sk_common.skc_net.net->xfrm.xfrm_cfg_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | skb->sk->__sk_common.skc_net.net->xfrm.xfrm_cfg_mutex.first_waiter->list.next | 5159360019465732096 |
| 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 | 4294967295 |
| PARAM_VALUE | 1 | skb->sk->sk_callback_lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 1 | skb->sk->sk_protocol | 0,2,4-6,10,12,16 |
| PARAM_VALUE | 1 | skb->sk->sk_reuseport_cb | 0 |
| PARAM_VALUE | 1 | skb->sk->sk_user_data | 0 |
| PARAM_VALUE | 1 | *skb->head | 0-255 |
| PARAM_VALUE | 2 | resource | 4096-ptr_max |
| CAPPED_DATA | 0 | devlink->index | 1 |
| CAPPED_DATA | 1 | skb | 1 |
| CAPPED_DATA | 2 | &resource->list | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->lock | ||
| HALF_LOCKED2 | &devlink->lock | ||
| HALF_LOCKED2 | &net->xfrm.xfrm_cfg_mutex | ||
| HALF_LOCKED2 | global &audit_cmd_mutex.lock | ||
| HALF_LOCKED2 | global &cb_lock | ||
| HALF_LOCKED2 | global &crypto_cfg_mutex | ||
| HALF_LOCKED2 | global &dpll_lock | ||
| HALF_LOCKED2 | global &hwsim_phys_lock | ||
| HALF_LOCKED2 | global &net_dm_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | global &rx_queue_mutex | ||
| HALF_LOCKED2 | rcu_read |
net/devlink/resource.c devlink_resource_list_fill() -> devlink_resource_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | devlink | 4096-ptr_max |
| PARAM_VALUE | 0 | devlink->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | devlink->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | devlink->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | devlink->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | devlink->ops->sb_pool_get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->sb_port_pool_get | 0,5080524251109040128,5500329137182081024,8058848025358356480 |
| PARAM_VALUE | 0 | devlink->ops->sb_tc_pool_bind_get | 0,557608487823060992,7803434078078054400,8622157503094607872 |
| PARAM_VALUE | 0 | devlink->ops->selftest_check | 0,8032679069814992896 |
| PARAM_VALUE | 1 | skb | 4096-ptr_max |
| PARAM_VALUE | 1 | skb->data | 4096-ptr_max |
| PARAM_VALUE | 1 | skb->data_len | 0 |
| PARAM_VALUE | 1 | skb->destructor | 172217845709488128 |
| PARAM_VALUE | 1 | skb->sk | 4096-ptr_max |
| PARAM_VALUE | 2 | resource | 4096-ptr_max |
| BUF_SIZE | 1 | skb | (-1)-s32max |
| BUF_SIZE | 1 | skb | (-1)-s32max |
| CAPPED_DATA | 0 | devlink->_net.net | 1 |
| CAPPED_DATA | 0 | devlink->index | 1 |
| CAPPED_DATA | 1 | skb->sk->__sk_common.skc_net.net | 1 |
| CAPPED_DATA | 2 | &resource->list | 1 |
| DATA_SOURCE | 0 | devlink | $1 |
| DATA_SOURCE | 1 | skb | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &devlink->lock | |
| HALF_LOCKED2 | &nlk->nl_cb_mutex | ||
| TYPE_LOCK | (struct devlink)->lock | ||
| TYPE_LOCK | (struct netlink_sock)->nl_cb_mutex |
net/devlink/resource.c devlink_resource_put() -> devlink_resource_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | devlink->ops->eswitch_encap_mode_get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->eswitch_encap_mode_set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->eswitch_inline_mode_get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->eswitch_inline_mode_set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->eswitch_mode_get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->eswitch_mode_set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->flash_update | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->info_get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->port_new | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->rate_leaf_parent_set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->rate_leaf_tc_bw_set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->rate_leaf_tx_max_set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->rate_leaf_tx_priority_set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->rate_leaf_tx_share_set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->rate_leaf_tx_weight_set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->rate_node_del | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->rate_node_new | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->rate_node_parent_set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->rate_node_tc_bw_set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->rate_node_tx_max_set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->rate_node_tx_priority_set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->rate_node_tx_share_set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->rate_node_tx_weight_set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->reload_down | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->reload_up | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->sb_occ_max_clear | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->sb_occ_port_pool_get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->sb_occ_snapshot | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->sb_occ_tc_port_bind_get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->sb_pool_get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->sb_pool_set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->sb_port_pool_get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->sb_port_pool_set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->sb_tc_pool_bind_get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->sb_tc_pool_bind_set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->selftest_check | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->selftest_run | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->supported_flash_update_params | 0-1 |
| PARAM_VALUE | 0 | devlink->ops->trap_action_set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->trap_drop_counter_get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->trap_fini | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->trap_group_action_set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->trap_group_init | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->trap_group_set | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->trap_init | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->trap_policer_counter_get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->trap_policer_fini | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->trap_policer_init | 0,4096-ptr_max |
| PARAM_VALUE | 0 | devlink->ops->trap_policer_set | 0,4096-ptr_max |
| PARAM_VALUE | 1 | skb | 4096-ptr_max |
| PARAM_VALUE | 1 | skb->data_len | 0 |
| PARAM_VALUE | 2 | resource | 4096-ptr_max |
| BUF_SIZE | 0 | devlink | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | devlink | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | skb | (-1)-s32max |
| BUF_SIZE | 1 | skb | (-1)-s32max |
| CAPPED_DATA | 1 | skb | 1 |
| CAPPED_DATA | 2 | &resource->list | 1 |
| DATA_SOURCE | 0 | devlink | $0 |
| DATA_SOURCE | 1 | skb | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | skb->end | |
| NO_OVERFLOW_SIMPLE | 1 | skb->extensions | |
| NO_OVERFLOW_SIMPLE | 1 | skb->len | |
| NO_OVERFLOW_SIMPLE | 1 | skb->sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 1 | skb->tail | |
| HALF_LOCKED2 | 0 | &devlink->lock |