Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sched/cls_flower.c __fl_delete() -> __fl_put()

Type Parameter Key Value
PARAM_VALUE 0 f 4096-ptr_max
PARAM_VALUE 0 f->deleted 1
PARAM_VALUE 0 f->list.next->prev 4096-ptr_max
PARAM_VALUE 0 f->mask 4096-ptr_max
PARAM_VALUE 0 f->mask->ht.tbl->dep_map->name 0-255
CAPPED_DATA 0 &f->ht_node 1
DATA_SOURCE 0 f $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

net/sched/cls_flower.c fl_change() -> __fl_put()

Type Parameter Key Value
PARAM_VALUE 0 f 4096-ptr_max
PARAM_VALUE 0 f->deleted 1
PARAM_VALUE 0 f->mask 4096-ptr_max
PARAM_VALUE 0 f->mask->ht.tbl->dep_map->name 0-255
CAPPED_DATA 0 &f->ht_node 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rx_queue_mutex

net/sched/cls_flower.c fl_change() -> __fl_put()

Type Parameter Key Value
PARAM_VALUE 0 f 4096-ptr_max
PARAM_VALUE 0 f->deleted 1
PARAM_VALUE 0 f->exts.actions 0,4096-ptr_max
PARAM_VALUE 0 f->exts.miss_cookie_node 0,4096-ptr_max
PARAM_VALUE 0 f->exts.miss_cookie_node->exts s64min-(-4096),4096-s64max
PARAM_VALUE 0 f->exts.miss_cookie_node->handle 1-4294967295
PARAM_VALUE 0 f->exts.miss_cookie_node->tp s64min-(-4096),4096-s64max
PARAM_VALUE 0 f->exts.miss_cookie_node->tp_prio 0,65536-4294967295
PARAM_VALUE 0 f->exts.nr_actions 0-s32max
PARAM_VALUE 0 f->exts.type 0,12
PARAM_VALUE 0 f->hw_list.next 4096-ptr_max
PARAM_VALUE 0 f->hw_list.next->next 4096-ptr_max
PARAM_VALUE 0 f->hw_list.prev 4096-ptr_max
PARAM_VALUE 0 f->hw_list.prev->next 4096-ptr_max
PARAM_VALUE 0 f->hw_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 f->mask->ht.p.obj_hashfn 0
PARAM_VALUE 0 f->refcnt.refs.counter 1
BUF_SIZE 0 f 1320
CAPPED_DATA 0 &f->ht_node 1
DATA_SOURCE 0 f r _kzalloc_noprof
NOSPEC 0 f->exts.miss_cookie_node->chain_index
NOSPEC 0 f->exts.miss_cookie_node->tp_prio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 f->exts.miss_cookie_node->chain_index 0-268435455[c]
USER_DATA 0 f->exts.miss_cookie_node->tp_prio 65536-4294967295[c]
USER_DATA 0 f->handle 0
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rx_queue_mutex

net/sched/cls_flower.c fl_change() -> __fl_put()

Type Parameter Key Value
PARAM_VALUE 0 f 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rx_queue_mutex

net/sched/cls_flower.c fl_delete() -> __fl_put()

Type Parameter Key Value
PARAM_VALUE 0 f 4096-ptr_max
CAPPED_DATA 0 f 1
DATA_SOURCE 0 f $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex

net/sched/cls_flower.c fl_put() -> __fl_put()

Type Parameter Key Value
PARAM_VALUE 0 f 1-u64max
DATA_SOURCE 0 f $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex

net/sched/cls_flower.c fl_reoffload() -> __fl_put()

Type Parameter Key Value
PARAM_VALUE 0 f 4096-ptr_max
PARAM_VALUE 0 f->exts.actions 4096-ptr_max
PARAM_VALUE 0 f->exts.ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 f->exts.ns_tracker->dead 0-1
PARAM_VALUE 0 f->exts.ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 f->refcnt.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 f r fl_get_next_hw_filter
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &block->cb_lock

net/sched/cls_flower.c fl_reoffload() -> __fl_put()

Type Parameter Key Value
PARAM_VALUE 0 f 4096-ptr_max
PARAM_VALUE 0 f->exts.actions 4096-ptr_max
PARAM_VALUE 0 f->exts.miss_cookie_node 0,4096-ptr_max
PARAM_VALUE 0 f->exts.ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 f->exts.ns_tracker->dead 0-1
PARAM_VALUE 0 f->exts.ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 f->refcnt.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 f r fl_get_next_hw_filter
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &block->cb_lock

net/sched/cls_flower.c fl_reoffload() -> __fl_put()

Type Parameter Key Value
PARAM_VALUE 0 f 4096-ptr_max
PARAM_VALUE 0 f->exts.actions 4096-ptr_max
PARAM_VALUE 0 f->exts.miss_cookie_node 0,4096-ptr_max
PARAM_VALUE 0 f->exts.ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 f->exts.ns_tracker->dead 0-1
PARAM_VALUE 0 f->exts.ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 f->refcnt.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 f r fl_get_next_hw_filter
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &block->cb_lock

net/sched/cls_flower.c fl_reoffload() -> __fl_put()

Type Parameter Key Value
PARAM_VALUE 0 f 4096-ptr_max
PARAM_VALUE 0 f->exts.actions 4096-ptr_max
PARAM_VALUE 0 f->exts.miss_cookie_node 0,4096-ptr_max
PARAM_VALUE 0 f->exts.ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 f->exts.ns_tracker->dead 0-1
PARAM_VALUE 0 f->exts.ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 f->refcnt.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 f r fl_get_next_hw_filter
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &block->cb_lock

net/sched/cls_flower.c fl_walk() -> __fl_put()

Type Parameter Key Value
PARAM_VALUE 0 f 4096-ptr_max
PARAM_VALUE 0 f->refcnt.refs.counter (-1073741824),0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sched/cls_flower.c fl_walk() -> __fl_put()

Type Parameter Key Value
PARAM_VALUE 0 f 4096-ptr_max
PARAM_VALUE 0 f->refcnt.refs.counter (-1073741824),0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL