world_obj_put identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

lib/test_objagg.c, line 76 (as a function)

Referenced in 1 files:

lib/test_objagg.c

Smatch caller information:

lib/test_objagg.c test_delta_action_item() -> world_obj_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	world	4096-ptr_max
PARAM_VALUE	0	world->delta_count	0
PARAM_VALUE	0	world->root_count	0
PARAM_VALUE	1	objagg	4096-ptr_max
PARAM_VALUE	1	objagg->ht_params.head_offset	0
PARAM_VALUE	1	objagg->ht_params.key_len	4
PARAM_VALUE	1	objagg->ht_params.key_offset	56
PARAM_VALUE	1	objagg->obj_ht.key_len	0-u16max
PARAM_VALUE	1	objagg->obj_ht.max_elems	0-2147483646,2147483648
PARAM_VALUE	1	objagg->obj_ht.p.insecure_elasticity	0
PARAM_VALUE	1	objagg->obj_ht.p.min_size	4-u16max
PARAM_VALUE	1	objagg->obj_ht.rhlist	0
PARAM_VALUE	1	objagg->obj_ht.run_work.func	0
PARAM_VALUE	1	objagg->obj_ht.tbl->size	0-4294967295
PARAM_VALUE	1	objagg->ops	513021901943496704
PARAM_VALUE	1	objagg->ops->delta_check	6532610917181788160
PARAM_VALUE	1	objagg->ops->delta_create	899933538010402816
PARAM_VALUE	1	objagg->ops->delta_destroy	7703451181295489024
PARAM_VALUE	1	objagg->ops->root_create	5355764697004888064
PARAM_VALUE	1	objagg->ops->root_destroy	6486793509058199552
PARAM_VALUE	1	objagg->priv	5662859272731041792
PARAM_VALUE	1	objagg->root_ida.xa.xa_flags	33554437
PARAM_VALUE	1	objagg->root_ida.xa.xa_head	0
PARAM_VALUE	2	key_id	1,3,5-8,30
BUF_SIZE	1	objagg	584
BUF_SIZE	1	objagg	584
DATA_SOURCE	0	world	$0
DATA_SOURCE	1	objagg	$1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	1	objagg->obj_ht.tbl->size

lib/test_objagg.c test_hints_case() -> world_obj_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	world	2307638881720102912
PARAM_VALUE	1	objagg	4096-ptr_max
PARAM_VALUE	1	objagg->hints->node_ht.tbl->hash_rnd	0-4294967295
PARAM_VALUE	1	objagg->hints->node_ht.tbl->nest	0-4294967295
PARAM_VALUE	1	objagg->hints->node_ht.tbl->size	0-4294967295
PARAM_VALUE	1	objagg->ht_params.head_offset	0
PARAM_VALUE	1	objagg->ht_params.key_len	4
PARAM_VALUE	1	objagg->ht_params.key_offset	56
PARAM_VALUE	1	objagg->obj_count	0-4294967295
PARAM_VALUE	1	objagg->obj_ht.key_len	0-u16max
PARAM_VALUE	1	objagg->obj_ht.max_elems	0-2147483646,2147483648
PARAM_VALUE	1	objagg->obj_ht.nelems.counter	s32min-s32max
PARAM_VALUE	1	objagg->obj_ht.p.insecure_elasticity	0
PARAM_VALUE	1	objagg->obj_ht.p.min_size	4-u16max
PARAM_VALUE	1	objagg->obj_ht.rhlist	0
PARAM_VALUE	1	objagg->obj_ht.run_irq_work.node.a_flags.counter	s32min-s32max
PARAM_VALUE	1	objagg->obj_ht.run_irq_work.node.u_flags	0-4294967295
PARAM_VALUE	1	objagg->obj_ht.run_work.func	0
PARAM_VALUE	1	objagg->obj_ht.tbl->hash_rnd	0-4294967295
PARAM_VALUE	1	objagg->obj_ht.tbl->nest	0-4294967295
PARAM_VALUE	1	objagg->obj_ht.tbl->size	0-4294967295
PARAM_VALUE	1	objagg->ops	513021901943496704
PARAM_VALUE	1	objagg->ops->delta_check	6532610917181788160
PARAM_VALUE	1	objagg->ops->delta_create	899933538010402816
PARAM_VALUE	1	objagg->ops->delta_destroy	7703451181295489024
PARAM_VALUE	1	objagg->ops->root_create	5355764697004888064
PARAM_VALUE	1	objagg->ops->root_destroy	6486793509058199552
PARAM_VALUE	1	objagg->priv	2307638881720102912
PARAM_VALUE	1	objagg->priv->erp_table->erp_core->bf->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	1	objagg->priv->erp_table->erp_core->bf->lock.first_waiter->list.prev->prev	0,5159360019465732096
PARAM_VALUE	1	objagg->priv->erp_table->erp_core->bf->lock.first_waiter->task->blocked_on	0
PARAM_VALUE	1	objagg->priv->erp_table->erp_core->bf->lock.osq.tail.counter	0-s32max
PARAM_VALUE	1	objagg->priv->erp_table->ops->erp_create	903527341939081216,5503620461547425792,9058474647357362176
PARAM_VALUE	1	objagg->priv->erp_table->ops->erp_destroy	765168036540801024,1826839957231652864,4065485671434936320,6447157295124811776
PARAM_VALUE	1	objagg->root_ida.xa.xa_flags	33554437
PARAM_VALUE	1	objagg->root_ida.xa.xa_head	0
BUF_SIZE	1	objagg	584
BUF_SIZE	1	objagg	584
DATA_SOURCE	1	objagg	r objagg_create
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	1	objagg->obj_ht.tbl->size

lib/test_objagg.c test_hints_case2() -> world_obj_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	world	695691696368566272
PARAM_VALUE	1	objagg	4096-ptr_max
PARAM_VALUE	1	objagg->hints->node_ht.tbl->hash_rnd	0-4294967295
PARAM_VALUE	1	objagg->hints->node_ht.tbl->nest	0-4294967295
PARAM_VALUE	1	objagg->hints->node_ht.tbl->size	0-4294967295
PARAM_VALUE	1	objagg->ht_params.head_offset	0
PARAM_VALUE	1	objagg->ht_params.key_len	4
PARAM_VALUE	1	objagg->ht_params.key_offset	56
PARAM_VALUE	1	objagg->obj_count	0-4294967295
PARAM_VALUE	1	objagg->obj_ht.key_len	0-u16max
PARAM_VALUE	1	objagg->obj_ht.max_elems	0-2147483646,2147483648
PARAM_VALUE	1	objagg->obj_ht.p.insecure_elasticity	0
PARAM_VALUE	1	objagg->obj_ht.p.min_size	4-u16max
PARAM_VALUE	1	objagg->obj_ht.rhlist	0
PARAM_VALUE	1	objagg->obj_ht.run_irq_work.node.a_flags.counter	s32min-s32max
PARAM_VALUE	1	objagg->obj_ht.run_irq_work.node.u_flags	0-4294967295
PARAM_VALUE	1	objagg->obj_ht.run_work.func	0
PARAM_VALUE	1	objagg->obj_ht.tbl->hash_rnd	0-4294967295
PARAM_VALUE	1	objagg->obj_ht.tbl->nest	0-4294967295
PARAM_VALUE	1	objagg->obj_ht.tbl->size	0-4294967295
PARAM_VALUE	1	objagg->ops	513021901943496704
PARAM_VALUE	1	objagg->ops->delta_check	6532610917181788160
PARAM_VALUE	1	objagg->ops->delta_create	899933538010402816
PARAM_VALUE	1	objagg->ops->delta_destroy	7703451181295489024
PARAM_VALUE	1	objagg->ops->obj_size	4,97
PARAM_VALUE	1	objagg->ops->root_create	5355764697004888064
PARAM_VALUE	1	objagg->ops->root_destroy	6486793509058199552
PARAM_VALUE	1	objagg->priv	2307638881720102912
PARAM_VALUE	1	objagg->priv->erp_table->erp_core->bf->lock.first_waiter->list.prev->prev	0,5159360019465732096
PARAM_VALUE	1	objagg->priv->erp_table->erp_core->bf->lock.first_waiter->magic	5159360019465732096
PARAM_VALUE	1	objagg->priv->erp_table->num_max_atcam_erps	0-4294967295
PARAM_VALUE	1	objagg->priv->erp_table->ops->erp_create	903527341939081216,5503620461547425792,9058474647357362176
PARAM_VALUE	1	objagg->priv->erp_table->ops->erp_destroy	765168036540801024,1826839957231652864,4065485671434936320,6447157295124811776
PARAM_VALUE	1	objagg->root_ida.xa.xa_flags	33554437
PARAM_VALUE	1	objagg->root_ida.xa.xa_head	0
BUF_SIZE	1	objagg	584
BUF_SIZE	1	objagg	584
DATA_SOURCE	1	objagg	$2
NOCHECK_CALL

lib/test_objagg.c test_nodelta() -> world_obj_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	world	3677385442459394048
PARAM_VALUE	1	objagg	4096-ptr_max
PARAM_VALUE	1	objagg->hints->node_ht.tbl->hash_rnd	0-4294967295
PARAM_VALUE	1	objagg->hints->node_ht.tbl->nest	0-4294967295
PARAM_VALUE	1	objagg->hints->node_ht.tbl->size	0-4294967295
PARAM_VALUE	1	objagg->ht_params.head_offset	0
PARAM_VALUE	1	objagg->ht_params.key_len	4
PARAM_VALUE	1	objagg->ht_params.key_offset	56
PARAM_VALUE	1	objagg->obj_count	0-4294967295
PARAM_VALUE	1	objagg->obj_ht.key_len	0-u16max
PARAM_VALUE	1	objagg->obj_ht.max_elems	0-2147483646,2147483648
PARAM_VALUE	1	objagg->obj_ht.p.insecure_elasticity	0
PARAM_VALUE	1	objagg->obj_ht.p.min_size	4-u16max
PARAM_VALUE	1	objagg->obj_ht.rhlist	0
PARAM_VALUE	1	objagg->obj_ht.run_irq_work.node.a_flags.counter	s32min-s32max
PARAM_VALUE	1	objagg->obj_ht.run_irq_work.node.u_flags	0-4294967295
PARAM_VALUE	1	objagg->obj_ht.run_work.func	0
PARAM_VALUE	1	objagg->obj_ht.tbl->hash_rnd	0-4294967295
PARAM_VALUE	1	objagg->obj_ht.tbl->nest	0-4294967295
PARAM_VALUE	1	objagg->obj_ht.tbl->size	0-4294967295
PARAM_VALUE	1	objagg->ops	8991132021121126400
PARAM_VALUE	1	objagg->ops->delta_check	4706346761564774400
PARAM_VALUE	1	objagg->ops->delta_create	7749549450181455872
PARAM_VALUE	1	objagg->ops->delta_destroy	6756229003579912192
PARAM_VALUE	1	objagg->ops->root_create	5355764697004888064
PARAM_VALUE	1	objagg->ops->root_destroy	6486793509058199552
PARAM_VALUE	1	objagg->priv	3677385442459394048
PARAM_VALUE	1	objagg->priv->erp_table->erp_core->bf->lock.first_waiter->list.prev->prev	0,5159360019465732096
PARAM_VALUE	1	objagg->priv->erp_table->ops->erp_create	903527341939081216,5503620461547425792,9058474647357362176
PARAM_VALUE	1	objagg->priv->erp_table->ops->erp_destroy	765168036540801024,1826839957231652864,4065485671434936320,6447157295124811776
PARAM_VALUE	1	objagg->root_ida.xa.xa_flags	33554437
PARAM_VALUE	1	objagg->root_ida.xa.xa_head	0
PARAM_VALUE	2	key_id	0-31
BUF_SIZE	1	objagg	584
BUF_SIZE	1	objagg	584
DATA_SOURCE	1	objagg	r objagg_create
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	1	objagg->obj_ht.tbl->size

lib/test_objagg.c test_nodelta() -> world_obj_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	world	3677385442459394048
PARAM_VALUE	1	objagg	4096-ptr_max
PARAM_VALUE	1	objagg->hints->node_ht.tbl->hash_rnd	0-4294967295
PARAM_VALUE	1	objagg->hints->node_ht.tbl->nest	0-4294967295
PARAM_VALUE	1	objagg->hints->node_ht.tbl->size	0-4294967295
PARAM_VALUE	1	objagg->ht_params.head_offset	0
PARAM_VALUE	1	objagg->ht_params.key_len	4
PARAM_VALUE	1	objagg->ht_params.key_offset	56
PARAM_VALUE	1	objagg->obj_count	0-4294967295
PARAM_VALUE	1	objagg->obj_ht.key_len	0-u16max
PARAM_VALUE	1	objagg->obj_ht.max_elems	0-2147483646,2147483648
PARAM_VALUE	1	objagg->obj_ht.p.insecure_elasticity	0
PARAM_VALUE	1	objagg->obj_ht.p.min_size	4-u16max
PARAM_VALUE	1	objagg->obj_ht.rhlist	0
PARAM_VALUE	1	objagg->obj_ht.run_irq_work.node.a_flags.counter	s32min-s32max
PARAM_VALUE	1	objagg->obj_ht.run_irq_work.node.u_flags	0-4294967295
PARAM_VALUE	1	objagg->obj_ht.run_work.func	0
PARAM_VALUE	1	objagg->obj_ht.tbl->hash_rnd	0-4294967295
PARAM_VALUE	1	objagg->obj_ht.tbl->nest	0-4294967295
PARAM_VALUE	1	objagg->obj_ht.tbl->size	0-4294967295
PARAM_VALUE	1	objagg->ops	8991132021121126400
PARAM_VALUE	1	objagg->ops->delta_check	4706346761564774400
PARAM_VALUE	1	objagg->ops->delta_create	7749549450181455872
PARAM_VALUE	1	objagg->ops->delta_destroy	6756229003579912192
PARAM_VALUE	1	objagg->ops->root_create	5355764697004888064
PARAM_VALUE	1	objagg->ops->root_destroy	6486793509058199552
PARAM_VALUE	1	objagg->priv	3677385442459394048
PARAM_VALUE	1	objagg->priv->erp_table->erp_core->bf->lock.first_waiter->list.prev->prev	0,5159360019465732096
PARAM_VALUE	1	objagg->priv->erp_table->ops->erp_create	903527341939081216,5503620461547425792,9058474647357362176
PARAM_VALUE	1	objagg->priv->erp_table->ops->erp_destroy	765168036540801024,1826839957231652864,4065485671434936320,6447157295124811776
PARAM_VALUE	1	objagg->root_ida.xa.xa_flags	33554437
PARAM_VALUE	1	objagg->root_ida.xa.xa_head	0
PARAM_VALUE	2	key_id	0-31
BUF_SIZE	1	objagg	584
BUF_SIZE	1	objagg	584
DATA_SOURCE	1	objagg	r objagg_create
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	1	objagg->obj_ht.tbl->size

lib/test_objagg.c test_nodelta_obj_put() -> world_obj_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	world	3677385442459394048
PARAM_VALUE	0	world->root_count	0
PARAM_VALUE	1	objagg	4096-ptr_max
PARAM_VALUE	1	objagg->hints->node_ht.tbl->hash_rnd	0-4294967295
PARAM_VALUE	1	objagg->hints->node_ht.tbl->nest	0-4294967295
PARAM_VALUE	1	objagg->hints->node_ht.tbl->size	0-4294967295
PARAM_VALUE	1	objagg->ht_params.head_offset	0
PARAM_VALUE	1	objagg->ht_params.key_len	4
PARAM_VALUE	1	objagg->ht_params.key_offset	56
PARAM_VALUE	1	objagg->obj_count	0-4294967295
PARAM_VALUE	1	objagg->obj_ht.key_len	0-u16max
PARAM_VALUE	1	objagg->obj_ht.max_elems	0-2147483646,2147483648
PARAM_VALUE	1	objagg->obj_ht.p.insecure_elasticity	0
PARAM_VALUE	1	objagg->obj_ht.p.min_size	4-u16max
PARAM_VALUE	1	objagg->obj_ht.rhlist	0
PARAM_VALUE	1	objagg->obj_ht.run_irq_work.node.a_flags.counter	s32min-s32max
PARAM_VALUE	1	objagg->obj_ht.run_irq_work.node.u_flags	0-4294967295
PARAM_VALUE	1	objagg->obj_ht.run_work.func	0
PARAM_VALUE	1	objagg->obj_ht.tbl->hash_rnd	0-4294967295
PARAM_VALUE	1	objagg->obj_ht.tbl->nest	0-4294967295
PARAM_VALUE	1	objagg->obj_ht.tbl->size	0-4294967295
PARAM_VALUE	1	objagg->ops	8991132021121126400
PARAM_VALUE	1	objagg->ops->delta_check	4706346761564774400
PARAM_VALUE	1	objagg->ops->delta_create	7749549450181455872
PARAM_VALUE	1	objagg->ops->delta_destroy	6756229003579912192
PARAM_VALUE	1	objagg->ops->root_create	5355764697004888064
PARAM_VALUE	1	objagg->ops->root_destroy	6486793509058199552
PARAM_VALUE	1	objagg->priv	3677385442459394048
PARAM_VALUE	1	objagg->priv->erp_table->erp_core->bf->lock.first_waiter->list.prev->prev	0,5159360019465732096
PARAM_VALUE	1	objagg->priv->erp_table->num_max_atcam_erps	0-4294967295
PARAM_VALUE	1	objagg->priv->erp_table->ops->erp_create	903527341939081216,5503620461547425792,9058474647357362176
PARAM_VALUE	1	objagg->priv->erp_table->ops->erp_destroy	765168036540801024,1826839957231652864,4065485671434936320,6447157295124811776
PARAM_VALUE	1	objagg->root_ida.xa.xa_flags	33554437
PARAM_VALUE	1	objagg->root_ida.xa.xa_head	0
PARAM_VALUE	1	*objagg->priv->next_root_buf	0-255
PARAM_VALUE	2	key_id	0-31
BUF_SIZE	1	objagg	584
BUF_SIZE	1	objagg	584
DATA_SOURCE	0	world	$0
DATA_SOURCE	1	objagg	$1
DATA_SOURCE	2	key_id	$2
NOCHECK_CALL