Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/damon/core.c damon_fill_regions_holes() -> damon_insert_region()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->age 0
PARAM_VALUE 0 r->last_nr_accesses 0
PARAM_VALUE 0 r->last_probe_hits 4096-ptr_max
PARAM_VALUE 0 r->list.next 4096-ptr_max
PARAM_VALUE 0 r->list.next->next 4096-ptr_max
PARAM_VALUE 0 r->list.prev 4096-ptr_max
PARAM_VALUE 0 r->list.prev->next 4096-ptr_max
PARAM_VALUE 0 r->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 r->nr_accesses 0
PARAM_VALUE 0 r->probe_hits 4096-ptr_max
PARAM_VALUE 1 prev 4096-ptr_max
PARAM_VALUE 2 next 4096-ptr_max
PARAM_VALUE 3 t 4096-ptr_max
BUF_SIZE 3 t (-1),48,56
BUF_SIZE 3 t (-1),48,56
CAPPED_DATA 0 r->ar.end 1
CAPPED_DATA 1 &prev->list 1
CAPPED_DATA 2 next->ar.start 1
CAPPED_DATA 3 &t->regions_list 1
DATA_SOURCE 0 r r damon_new_region
DATA_SOURCE 2 next r damon_next_region
DATA_SOURCE 3 t $2
PARAM_COMPARE 2 next->ar.start != $1->ar.end
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/damon/core.c damon_set_regions() -> damon_insert_region()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->age 0
PARAM_VALUE 0 r->last_nr_accesses 0
PARAM_VALUE 0 r->last_probe_hits 4096-ptr_max
PARAM_VALUE 0 r->list.next 4096-ptr_max
PARAM_VALUE 0 r->list.next->next 4096-ptr_max
PARAM_VALUE 0 r->list.prev 4096-ptr_max
PARAM_VALUE 0 r->list.prev->next 4096-ptr_max
PARAM_VALUE 0 r->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 r->nr_accesses 0
PARAM_VALUE 0 r->probe_hits 4096-ptr_max
PARAM_VALUE 1 prev 4096-ptr_max
PARAM_VALUE 2 next 4096-ptr_max
PARAM_VALUE 3 t 4096-ptr_max
BUF_SIZE 3 t (-1),48,56
BUF_SIZE 3 t (-1),48,56
CAPPED_DATA 0 r->ar.end 1
CAPPED_DATA 0 r->ar.start 1
CAPPED_DATA 2 next->ar.end 1
CAPPED_DATA 2 &next->list 1
CAPPED_DATA 3 &t->regions_list 1
DATA_SOURCE 0 r r damon_new_region
DATA_SOURCE 3 t $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/damon/core.c damon_split_region_at() -> damon_insert_region()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->last_probe_hits 4096-ptr_max
PARAM_VALUE 0 r->list.next 4096-ptr_max
PARAM_VALUE 0 r->list.next->next 4096-ptr_max
PARAM_VALUE 0 r->list.prev 4096-ptr_max
PARAM_VALUE 0 r->list.prev->next 4096-ptr_max
PARAM_VALUE 0 r->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 r->probe_hits 4096-ptr_max
PARAM_VALUE 1 prev 4096-ptr_max
PARAM_VALUE 2 next 4096-ptr_max
PARAM_VALUE 3 t 4096-ptr_max
BUF_SIZE 3 t (-1),48
BUF_SIZE 3 t (-1),48
CAPPED_DATA 0 r->ar.end 1
CAPPED_DATA 1 prev 1
CAPPED_DATA 3 t 1
DATA_SOURCE 0 r r damon_new_region
DATA_SOURCE 1 prev $1
DATA_SOURCE 3 t $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 prev->ar.start
HALF_LOCKED2 &c->walk_control_lock