Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/objagg.c objagg_obj_create() -> objagg_obj_fini()

Type Parameter Key Value
PARAM_VALUE 0 objagg 4096-ptr_max
PARAM_VALUE 0 objagg->hints 0,4096-ptr_max
PARAM_VALUE 0 objagg->obj_ht.p.hashfn 4096-ptr_max
PARAM_VALUE 0 objagg->obj_ht.tbl 4096-ptr_max
PARAM_VALUE 0 objagg->obj_list.next 4096-ptr_max
PARAM_VALUE 0 objagg->obj_list.next->next 4096-ptr_max
PARAM_VALUE 0 objagg->obj_list.next->prev 4096-ptr_max
PARAM_VALUE 0 objagg->ops 4096-ptr_max
PARAM_VALUE 0 objagg->ops->delta_check 3477336857498935296,4706346761564774400,6532610917181788160
PARAM_VALUE 0 objagg->ops->delta_create 899933538010402816,4067561479529713664,7749549450181455872
PARAM_VALUE 0 objagg->ops->delta_destroy 2097361578409140224,6756229003579912192,7703451181295489024
PARAM_VALUE 0 objagg->ops->obj_size 4,97
PARAM_VALUE 0 objagg->ops->root_create 2646101948062932992,5355764697004888064
PARAM_VALUE 0 objagg->ops->root_destroy 4401887648083247104,6486793509058199552
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->ops 1227119553951617024,3641552319434334208,7558662516979961856,8808133337426644992
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 1 objagg_obj 4096-ptr_max
PARAM_VALUE 1 objagg_obj->delta_priv 4096-ptr_max
PARAM_VALUE 1 objagg_obj->root_priv 4096-ptr_max
BUF_SIZE 0 objagg (-1)-s32max
BUF_SIZE 0 objagg (-1)-s32max
BUF_SIZE 1 objagg_obj 60,153
BUF_SIZE 1 objagg_obj 60,153
CAPPED_DATA 0 objagg->obj_ht.tbl 1
DATA_SOURCE 0 objagg $0
DATA_SOURCE 1 objagg_obj r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 objagg->obj_ht.tbl->size

lib/objagg.c objagg_obj_destroy() -> objagg_obj_fini()

Type Parameter Key Value
PARAM_VALUE 0 objagg 4096-ptr_max
PARAM_VALUE 0 objagg->obj_ht.tbl->dep_map->name 0-255
PARAM_VALUE 0 objagg->ops->delta_check 3477336857498935296,4706346761564774400,6532610917181788160
PARAM_VALUE 0 objagg->ops->delta_create 899933538010402816,4067561479529713664,7749549450181455872
PARAM_VALUE 0 objagg->ops->delta_destroy 2097361578409140224,6756229003579912192,7703451181295489024
PARAM_VALUE 0 objagg->ops->obj_size 4,97
PARAM_VALUE 0 objagg->ops->root_create 2646101948062932992,5355764697004888064
PARAM_VALUE 0 objagg->ops->root_destroy 4401887648083247104,6486793509058199552
PARAM_VALUE 1 objagg_obj 4096-ptr_max
BUF_SIZE 0 objagg (-1)-s32max
BUF_SIZE 0 objagg (-1)-s32max
BUF_SIZE 1 objagg_obj (-1),60,153
BUF_SIZE 1 objagg_obj (-1),60,153
CAPPED_DATA 1 &objagg_obj->ht_node 1
DATA_SOURCE 0 objagg $0
DATA_SOURCE 1 objagg_obj $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 objagg->obj_ht.tbl->size