Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- drivers/net/ethernet/mellanox/mlxsw/spectrum_acl_erp.c, line 1341
- include/trace/events/objagg.h, line 31
- lib/objagg.c, line 574
- lib/test_objagg.c
Smatch caller information:
drivers/net/ethernet/mellanox/mlxsw/spectrum_acl_erp.c mlxsw_sp_acl_erp_table_destroy() -> objagg_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mlxsw_sp->router->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &vregion->lock |
lib/test_objagg.c test_delta() -> objagg_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | objagg | 4096-ptr_max |
| PARAM_VALUE | 0 | objagg->ht_params.head_offset | 0 |
| PARAM_VALUE | 0 | objagg->ht_params.key_len | 4 |
| PARAM_VALUE | 0 | objagg->ht_params.key_offset | 56 |
| PARAM_VALUE | 0 | objagg->obj_count | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.key_len | 0-u16max |
| PARAM_VALUE | 0 | objagg->obj_ht.max_elems | 0-2147483646,2147483648 |
| PARAM_VALUE | 0 | objagg->obj_ht.p.insecure_elasticity | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.p.min_size | 4-u16max |
| PARAM_VALUE | 0 | objagg->obj_ht.rhlist | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.run_work.func | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->ops | 513021901943496704 |
| PARAM_VALUE | 0 | objagg->ops->delta_check | 6532610917181788160 |
| PARAM_VALUE | 0 | objagg->ops->delta_create | 899933538010402816 |
| PARAM_VALUE | 0 | objagg->ops->delta_destroy | 7703451181295489024 |
| PARAM_VALUE | 0 | objagg->ops->root_create | 5355764697004888064 |
| PARAM_VALUE | 0 | objagg->ops->root_destroy | 6486793509058199552 |
| PARAM_VALUE | 0 | objagg->priv | 5662859272731041792 |
| PARAM_VALUE | 0 | objagg->root_ida.xa.xa_flags | 33554437 |
| PARAM_VALUE | 0 | objagg->root_ida.xa.xa_head | 0 |
| BUF_SIZE | 0 | objagg | 584 |
| BUF_SIZE | 0 | objagg | 584 |
| DATA_SOURCE | 0 | objagg | r objagg_create |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | objagg->obj_ht.tbl->size |
lib/test_objagg.c test_delta() -> objagg_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | objagg | 4096-ptr_max |
| PARAM_VALUE | 0 | objagg->ht_params.head_offset | 0 |
| PARAM_VALUE | 0 | objagg->ht_params.key_len | 4 |
| PARAM_VALUE | 0 | objagg->ht_params.key_offset | 56 |
| PARAM_VALUE | 0 | objagg->obj_count | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.key_len | 0-u16max |
| PARAM_VALUE | 0 | objagg->obj_ht.max_elems | 0-2147483646,2147483648 |
| PARAM_VALUE | 0 | objagg->obj_ht.p.insecure_elasticity | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.p.min_size | 4-u16max |
| PARAM_VALUE | 0 | objagg->obj_ht.rhlist | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.run_work.func | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->ops | 513021901943496704 |
| PARAM_VALUE | 0 | objagg->ops->delta_check | 6532610917181788160 |
| PARAM_VALUE | 0 | objagg->ops->delta_create | 899933538010402816 |
| PARAM_VALUE | 0 | objagg->ops->delta_destroy | 7703451181295489024 |
| PARAM_VALUE | 0 | objagg->ops->root_create | 5355764697004888064 |
| PARAM_VALUE | 0 | objagg->ops->root_destroy | 6486793509058199552 |
| PARAM_VALUE | 0 | objagg->priv | 5662859272731041792 |
| PARAM_VALUE | 0 | objagg->root_ida.xa.xa_flags | 33554437 |
| PARAM_VALUE | 0 | objagg->root_ida.xa.xa_head | 0 |
| BUF_SIZE | 0 | objagg | 584 |
| BUF_SIZE | 0 | objagg | 584 |
| DATA_SOURCE | 0 | objagg | r objagg_create |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | objagg->obj_ht.tbl->size |
lib/test_objagg.c test_hints_case() -> objagg_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | objagg | 4096-ptr_max |
| PARAM_VALUE | 0 | objagg->hints->node_ht.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->hints->node_ht.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->hints->node_ht.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->ht_params.head_offset | 0 |
| PARAM_VALUE | 0 | objagg->ht_params.key_len | 4 |
| PARAM_VALUE | 0 | objagg->ht_params.key_offset | 56 |
| PARAM_VALUE | 0 | objagg->obj_count | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.key_len | 0-u16max |
| PARAM_VALUE | 0 | objagg->obj_ht.max_elems | 0-2147483646,2147483648 |
| PARAM_VALUE | 0 | objagg->obj_ht.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | objagg->obj_ht.p.insecure_elasticity | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.p.min_size | 4-u16max |
| PARAM_VALUE | 0 | objagg->obj_ht.rhlist | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.run_irq_work.node.a_flags.counter | s32min-s32max |
| PARAM_VALUE | 0 | objagg->obj_ht.run_irq_work.node.u_flags | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.run_work.func | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->ops | 513021901943496704 |
| PARAM_VALUE | 0 | objagg->ops->delta_check | 6532610917181788160 |
| PARAM_VALUE | 0 | objagg->ops->delta_create | 899933538010402816 |
| PARAM_VALUE | 0 | objagg->ops->delta_destroy | 7703451181295489024 |
| PARAM_VALUE | 0 | objagg->ops->root_create | 5355764697004888064 |
| PARAM_VALUE | 0 | objagg->ops->root_destroy | 6486793509058199552 |
| PARAM_VALUE | 0 | objagg->priv | 2307638881720102912 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->list.prev->prev | 0,5159360019465732096 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | objagg->priv->erp_table->ops->erp_create | 903527341939081216,5503620461547425792,9058474647357362176 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->ops->erp_destroy | 765168036540801024,1826839957231652864,4065485671434936320,6447157295124811776 |
| PARAM_VALUE | 0 | objagg->root_ida.xa.xa_flags | 33554437 |
| PARAM_VALUE | 0 | objagg->root_ida.xa.xa_head | 0 |
| BUF_SIZE | 0 | objagg | 584 |
| BUF_SIZE | 0 | objagg | 584 |
| DATA_SOURCE | 0 | objagg | r objagg_create |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | objagg->obj_ht.tbl->size |
lib/test_objagg.c test_hints_case2() -> objagg_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | objagg | 4096-ptr_max |
| PARAM_VALUE | 0 | objagg->hints->node_ht.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->hints->node_ht.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->hints->node_ht.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->ht_params.head_offset | 0 |
| PARAM_VALUE | 0 | objagg->ht_params.key_len | 4 |
| PARAM_VALUE | 0 | objagg->ht_params.key_offset | 56 |
| PARAM_VALUE | 0 | objagg->obj_count | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.key_len | 0-u16max |
| PARAM_VALUE | 0 | objagg->obj_ht.max_elems | 0-2147483646,2147483648 |
| PARAM_VALUE | 0 | objagg->obj_ht.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | objagg->obj_ht.p.insecure_elasticity | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.p.min_size | 4-u16max |
| PARAM_VALUE | 0 | objagg->obj_ht.rhlist | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.run_irq_work.node.a_flags.counter | s32min-s32max |
| PARAM_VALUE | 0 | objagg->obj_ht.run_irq_work.node.u_flags | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.run_work.func | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->ops | 513021901943496704 |
| PARAM_VALUE | 0 | objagg->ops->delta_check | 6532610917181788160 |
| PARAM_VALUE | 0 | objagg->ops->delta_create | 899933538010402816 |
| PARAM_VALUE | 0 | objagg->ops->delta_destroy | 7703451181295489024 |
| PARAM_VALUE | 0 | objagg->ops->root_create | 5355764697004888064 |
| PARAM_VALUE | 0 | objagg->ops->root_destroy | 6486793509058199552 |
| PARAM_VALUE | 0 | objagg->priv | 695691696368566272 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->list.prev->prev | 0,5159360019465732096 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | objagg->priv->erp_table->ops->erp_create | 903527341939081216,5503620461547425792,9058474647357362176 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->ops->erp_destroy | 765168036540801024,1826839957231652864,4065485671434936320,6447157295124811776 |
| PARAM_VALUE | 0 | objagg->root_ida.xa.xa_flags | 33554437 |
| PARAM_VALUE | 0 | objagg->root_ida.xa.xa_head | 0 |
| BUF_SIZE | 0 | objagg | 584 |
| BUF_SIZE | 0 | objagg | 584 |
| DATA_SOURCE | 0 | objagg | r objagg_create |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | objagg->obj_ht.tbl->size |
lib/test_objagg.c test_nodelta() -> objagg_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | objagg | 4096-ptr_max |
| PARAM_VALUE | 0 | objagg->hints->node_ht.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->hints->node_ht.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->hints->node_ht.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->ht_params.head_offset | 0 |
| PARAM_VALUE | 0 | objagg->ht_params.key_len | 4 |
| PARAM_VALUE | 0 | objagg->ht_params.key_offset | 56 |
| PARAM_VALUE | 0 | objagg->obj_count | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.key_len | 0-u16max |
| PARAM_VALUE | 0 | objagg->obj_ht.max_elems | 0-2147483646,2147483648 |
| PARAM_VALUE | 0 | objagg->obj_ht.p.insecure_elasticity | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.p.min_size | 4-u16max |
| PARAM_VALUE | 0 | objagg->obj_ht.rhlist | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.run_irq_work.node.a_flags.counter | s32min-s32max |
| PARAM_VALUE | 0 | objagg->obj_ht.run_irq_work.node.u_flags | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.run_work.func | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->ops | 8991132021121126400 |
| PARAM_VALUE | 0 | objagg->ops->delta_check | 4706346761564774400 |
| PARAM_VALUE | 0 | objagg->ops->delta_create | 7749549450181455872 |
| PARAM_VALUE | 0 | objagg->ops->delta_destroy | 6756229003579912192 |
| PARAM_VALUE | 0 | objagg->ops->root_create | 5355764697004888064 |
| PARAM_VALUE | 0 | objagg->ops->root_destroy | 6486793509058199552 |
| PARAM_VALUE | 0 | objagg->priv | 3677385442459394048 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->list.prev->prev | 0,5159360019465732096 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->magic | 5159360019465732096 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->num_max_atcam_erps | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->ops->erp_create | 903527341939081216,5503620461547425792,9058474647357362176 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->ops->erp_destroy | 765168036540801024,1826839957231652864,4065485671434936320,6447157295124811776 |
| PARAM_VALUE | 0 | objagg->root_ida.xa.xa_flags | 33554437 |
| PARAM_VALUE | 0 | objagg->root_ida.xa.xa_head | 0 |
| PARAM_VALUE | 0 | *objagg->priv->next_root_buf | 0-255 |
| BUF_SIZE | 0 | objagg | 584 |
| BUF_SIZE | 0 | objagg | 584 |
| DATA_SOURCE | 0 | objagg | r objagg_create |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | objagg->obj_ht.tbl->size |
lib/test_objagg.c test_nodelta() -> objagg_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | objagg | 4096-ptr_max |
| PARAM_VALUE | 0 | objagg->hints->node_ht.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->hints->node_ht.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->hints->node_ht.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->ht_params.head_offset | 0 |
| PARAM_VALUE | 0 | objagg->ht_params.key_len | 4 |
| PARAM_VALUE | 0 | objagg->ht_params.key_offset | 56 |
| PARAM_VALUE | 0 | objagg->obj_count | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.key_len | 0-u16max |
| PARAM_VALUE | 0 | objagg->obj_ht.max_elems | 0-2147483646,2147483648 |
| PARAM_VALUE | 0 | objagg->obj_ht.p.insecure_elasticity | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.p.min_size | 4-u16max |
| PARAM_VALUE | 0 | objagg->obj_ht.rhlist | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.run_irq_work.node.a_flags.counter | s32min-s32max |
| PARAM_VALUE | 0 | objagg->obj_ht.run_irq_work.node.u_flags | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.run_work.func | 0 |
| PARAM_VALUE | 0 | objagg->obj_ht.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->obj_ht.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->ops | 8991132021121126400 |
| PARAM_VALUE | 0 | objagg->ops->delta_check | 4706346761564774400 |
| PARAM_VALUE | 0 | objagg->ops->delta_create | 7749549450181455872 |
| PARAM_VALUE | 0 | objagg->ops->delta_destroy | 6756229003579912192 |
| PARAM_VALUE | 0 | objagg->ops->root_create | 5355764697004888064 |
| PARAM_VALUE | 0 | objagg->ops->root_destroy | 6486793509058199552 |
| PARAM_VALUE | 0 | objagg->priv | 3677385442459394048 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->list.prev->prev | 0,5159360019465732096 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->ops->erp_create | 903527341939081216,5503620461547425792,9058474647357362176 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->ops->erp_destroy | 765168036540801024,1826839957231652864,4065485671434936320,6447157295124811776 |
| PARAM_VALUE | 0 | objagg->root_ida.xa.xa_flags | 33554437 |
| PARAM_VALUE | 0 | objagg->root_ida.xa.xa_head | 0 |
| BUF_SIZE | 0 | objagg | 584 |
| BUF_SIZE | 0 | objagg | 584 |
| DATA_SOURCE | 0 | objagg | r objagg_create |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | objagg->obj_ht.tbl->size |