Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/test_objagg.c test_hints_case() -> pr_debug_stats()
| 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->delta_count | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->list.next | 5159360019465732096 |
| 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.first_waiter->magic | 5159360019465732096 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.osq.tail.counter | 0-s32max |
| 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->erp_table->erp_core->bf->lock.first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| 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() -> pr_debug_stats()
| 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->delta_count | 0-4294967295 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->list.next | 5159360019465732096 |
| 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.first_waiter->magic | 5159360019465732096 |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | objagg->priv->erp_table->erp_core->bf->lock.osq.tail.counter | 0-s32max |
| 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->erp_table->erp_core->bf->lock.first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| 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 |