Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/netfilter/nft_set_rbtree.c nft_rbtree_deactivate() -> nft_array_may_resize()

Type Parameter Key Value
PARAM_VALUE 0 set 4096-ptr_max
PARAM_VALUE 0 set->data->start_rbe_cookie 0
PARAM_VALUE 0 set->name 4096-ptr_max
PARAM_VALUE 0 set->ops 4096-ptr_max
PARAM_VALUE 1 flush 0
DATA_SOURCE 0 set $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &nft_net->commit_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

net/netfilter/nft_set_rbtree.c nft_rbtree_insert() -> nft_array_may_resize()

Type Parameter Key Value
PARAM_VALUE 0 set 4096-ptr_max
PARAM_VALUE 0 set->data->start_rbe_cookie 0
PARAM_VALUE 0 set->ops 4096-ptr_max
PARAM_VALUE 1 flush 0
DATA_SOURCE 0 set $1

net/netfilter/nft_set_rbtree.c nft_rbtree_walk() -> nft_array_may_resize()

Type Parameter Key Value
PARAM_VALUE 0 set 4096-ptr_max
PARAM_VALUE 0 set->name 4096-ptr_max
PARAM_VALUE 0 set->ops 4096-ptr_max
PARAM_VALUE 0 set->ops->update 0,7481842563402850304
PARAM_VALUE 0 set->ops->walk 587670754788466688,1009694696123953152,2768805719601700864,3343718990343225344,4918723609374855168
PARAM_VALUE 1 flush 1
CAPPED_DATA 0 set 1
DATA_SOURCE 0 set $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &nft_net->commit_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read