Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/objagg.c objagg_opt_simple_greedy_fillup_hints() -> objagg_tmp_graph_create()

Type Parameter Key Value
PARAM_VALUE 0 objagg 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
BUF_SIZE 0 objagg (-1),584
BUF_SIZE 0 objagg (-1),584
DATA_SOURCE 0 objagg $1
HALF_LOCKED2 &erp_table->objagg_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &vregion->lock