Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

mm/damon/vaddr.c damon_do_test_apply_three_regions() -> damon_destroy_target()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->list.next 4096-ptr_max
PARAM_VALUE 0 t->list.next->next 4096-ptr_max
PARAM_VALUE 0 t->list.prev 4096-ptr_max
PARAM_VALUE 0 t->list.prev->next 4096-ptr_max
PARAM_VALUE 0 t->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 t->nr_regions 0
PARAM_VALUE 0 t->obsolete 0
PARAM_VALUE 0 t->pid 0
PARAM_VALUE 0 t->regions_list.next 4096-ptr_max
PARAM_VALUE 0 t->regions_list.next->next 4096-ptr_max
PARAM_VALUE 0 t->regions_list.prev 4096-ptr_max
PARAM_VALUE 0 t->regions_list.prev->next 4096-ptr_max
PARAM_VALUE 0 t->regions_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 ctx 0
BUF_SIZE 0 t 48
DATA_SOURCE 0 t r damon_new_target
NOCHECK_CALL

mm/damon/vaddr.c damon_do_test_apply_three_regions() -> damon_destroy_target()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->list.next 4096-ptr_max
PARAM_VALUE 0 t->list.next->next 4096-ptr_max
PARAM_VALUE 0 t->list.prev 4096-ptr_max
PARAM_VALUE 0 t->list.prev->next 4096-ptr_max
PARAM_VALUE 0 t->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 t->obsolete 0
PARAM_VALUE 0 t->pid 0
PARAM_VALUE 0 t->regions_list.next 4096-ptr_max
PARAM_VALUE 0 t->regions_list.next->next 4096-ptr_max
PARAM_VALUE 0 t->regions_list.prev 4096-ptr_max
PARAM_VALUE 0 t->regions_list.prev->next 4096-ptr_max
PARAM_VALUE 0 t->regions_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 ctx 0
BUF_SIZE 0 t 48
DATA_SOURCE 0 t r damon_new_target
NOCHECK_CALL

mm/damon/vaddr.c damon_do_test_apply_three_regions() -> damon_destroy_target()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->list.next 4096-ptr_max
PARAM_VALUE 0 t->list.next->next 4096-ptr_max
PARAM_VALUE 0 t->list.prev 4096-ptr_max
PARAM_VALUE 0 t->list.prev->next 4096-ptr_max
PARAM_VALUE 0 t->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 t->obsolete 0
PARAM_VALUE 0 t->pid 0
PARAM_VALUE 0 t->regions_list.next 4096-ptr_max
PARAM_VALUE 0 t->regions_list.next->next 4096-ptr_max
PARAM_VALUE 0 t->regions_list.prev 4096-ptr_max
PARAM_VALUE 0 t->regions_list.prev->next 4096-ptr_max
PARAM_VALUE 0 t->regions_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 t->regions_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 ctx 0
BUF_SIZE 0 t 48
DATA_SOURCE 0 t r damon_new_target
NOCHECK_CALL

mm/damon/vaddr.c damon_do_test_apply_three_regions() -> damon_destroy_target()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->list.next 4096-ptr_max
PARAM_VALUE 0 t->list.next->next 4096-ptr_max
PARAM_VALUE 0 t->list.prev 4096-ptr_max
PARAM_VALUE 0 t->list.prev->next 4096-ptr_max
PARAM_VALUE 0 t->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 t->obsolete 0
PARAM_VALUE 0 t->pid 0
PARAM_VALUE 0 t->regions_list.next 4096-ptr_max
PARAM_VALUE 0 t->regions_list.next->next 4096-ptr_max
PARAM_VALUE 0 t->regions_list.prev 4096-ptr_max
PARAM_VALUE 0 t->regions_list.prev->next 4096-ptr_max
PARAM_VALUE 0 t->regions_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 t->regions_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 ctx 0
BUF_SIZE 0 t 48
DATA_SOURCE 0 t r damon_new_target
NOCHECK_CALL

mm/damon/core.c damon_commit_targets() -> damon_destroy_target()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->maybe_corrupted 1
BUF_SIZE 1 ctx (-1),896
BUF_SIZE 1 ctx (-1),896
CAPPED_DATA 0 &t->list 1
CAPPED_DATA 1 ctx->attrs.max_nr_regions 1
CAPPED_DATA 1 ctx->attrs.min_nr_regions 1
CAPPED_DATA 1 ctx->attrs.sample_interval 1
CAPPED_DATA 1 &ctx->adaptive_targets 1
DATA_SOURCE 1 ctx $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/damon/core.c damon_commit_targets() -> damon_destroy_target()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->obsolete 0
PARAM_VALUE 0 t->pid 0
PARAM_VALUE 1 ctx 0
BUF_SIZE 0 t 48
DATA_SOURCE 0 t r damon_new_target
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/damon/core.c damon_destroy_targets() -> damon_destroy_target()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
BUF_SIZE 1 ctx (-1),128,896
BUF_SIZE 1 ctx (-1),128,896
BUF_SIZE 1 ctx->regions_score_histogram (-1),8
CAPPED_DATA 0 &t->list 1
CAPPED_DATA 1 &ctx->adaptive_targets 1
DATA_SOURCE 1 ctx $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/damon/core.c damon_test_set_regions_for() -> damon_destroy_target()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->nr_regions 0-1
PARAM_VALUE 0 t->obsolete 0
PARAM_VALUE 0 t->pid 0
PARAM_VALUE 1 ctx 0
BUF_SIZE 0 t 48
DATA_SOURCE 0 t r damon_new_target
NOCHECK_CALL

mm/damon/core.c damon_test_set_regions_for() -> damon_destroy_target()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->obsolete 0
PARAM_VALUE 0 t->pid 0
PARAM_VALUE 1 ctx 0
BUF_SIZE 0 t 48
DATA_SOURCE 0 t r damon_new_target
NOCHECK_CALL

mm/damon/core.c damon_test_set_regions_for() -> damon_destroy_target()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->nr_regions 1-3
PARAM_VALUE 0 t->obsolete 0
PARAM_VALUE 0 t->pid 0
PARAM_VALUE 1 ctx 0
BUF_SIZE 0 t 48
CAPPED_DATA 0 &t->regions_list 1
DATA_SOURCE 0 t r damon_new_target
NOCHECK_CALL

mm/damon/core.c damon_test_target() -> damon_destroy_target()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->list.next 4096-ptr_max
PARAM_VALUE 0 t->nr_regions 0
PARAM_VALUE 0 t->obsolete 0
PARAM_VALUE 0 t->pid 0
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 1 ctx->adaptive_targets.next 4096-ptr_max
PARAM_VALUE 1 ctx->adaptive_targets.next->next 4096-ptr_max
PARAM_VALUE 1 ctx->adaptive_targets.prev 4096-ptr_max
PARAM_VALUE 1 ctx->adaptive_targets.prev->next 4096-ptr_max
PARAM_VALUE 1 ctx->adaptive_targets.prev->next->next 4096-ptr_max
PARAM_VALUE 1 ctx->adaptive_targets.prev->prev 4096-ptr_max
PARAM_VALUE 1 ctx->addr_unit 1
PARAM_VALUE 1 ctx->attrs.aggr_interval 100000
PARAM_VALUE 1 ctx->attrs.max_nr_regions 1000
PARAM_VALUE 1 ctx->attrs.min_nr_regions 10
PARAM_VALUE 1 ctx->attrs.ops_update_interval 60000000
PARAM_VALUE 1 ctx->attrs.sample_interval 5000
PARAM_VALUE 1 ctx->call_controls.next 4096-ptr_max
PARAM_VALUE 1 ctx->call_controls.next->next 4096-ptr_max
PARAM_VALUE 1 ctx->call_controls.prev 4096-ptr_max
PARAM_VALUE 1 ctx->call_controls.prev->next 4096-ptr_max
PARAM_VALUE 1 ctx->call_controls.prev->prev 4096-ptr_max
PARAM_VALUE 1 ctx->call_controls_lock.dep_map->name 0-255
PARAM_VALUE 1 ctx->call_controls_lock.first_waiter 0
PARAM_VALUE 1 ctx->call_controls_lock.magic 4096-ptr_max
PARAM_VALUE 1 ctx->call_controls_lock.osq.tail.counter 0
PARAM_VALUE 1 ctx->call_controls_lock.owner.counter 0
PARAM_VALUE 1 ctx->kdamond_lock.dep_map->name 0-255
PARAM_VALUE 1 ctx->kdamond_lock.first_waiter 0
PARAM_VALUE 1 ctx->kdamond_lock.magic 4096-ptr_max
PARAM_VALUE 1 ctx->kdamond_lock.osq.tail.counter 0
PARAM_VALUE 1 ctx->kdamond_lock.owner.counter 0
PARAM_VALUE 1 ctx->kdamond_started.done 0
PARAM_VALUE 1 ctx->kdamond_started.wait.lock.magic 3735899821
PARAM_VALUE 1 ctx->kdamond_started.wait.lock.owner (-1)
PARAM_VALUE 1 ctx->kdamond_started.wait.lock.owner_cpu u32max
PARAM_VALUE 1 ctx->kdamond_started.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 ctx->kdamond_started.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 1 ctx->kdamond_started.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 1 ctx->kdamond_started.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 1 ctx->kdamond_started.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 ctx->min_region_sz 4096
PARAM_VALUE 1 ctx->next_aggregation_sis 0
PARAM_VALUE 1 ctx->next_ops_update_sis 0
PARAM_VALUE 1 ctx->passed_sample_intervals 0
PARAM_VALUE 1 ctx->probes.next 4096-ptr_max
PARAM_VALUE 1 ctx->probes.next->next 4096-ptr_max
PARAM_VALUE 1 ctx->probes.prev 4096-ptr_max
PARAM_VALUE 1 ctx->probes.prev->next 4096-ptr_max
PARAM_VALUE 1 ctx->probes.prev->prev 4096-ptr_max
PARAM_VALUE 1 ctx->rnd_state.s1 2-u32max
PARAM_VALUE 1 ctx->rnd_state.s2 2-u32max
PARAM_VALUE 1 ctx->rnd_state.s3 2-u32max
PARAM_VALUE 1 ctx->rnd_state.s4 2-u32max
PARAM_VALUE 1 ctx->schemes.next 4096-ptr_max
PARAM_VALUE 1 ctx->schemes.next->next 4096-ptr_max
PARAM_VALUE 1 ctx->schemes.prev 4096-ptr_max
PARAM_VALUE 1 ctx->schemes.prev->next 4096-ptr_max
PARAM_VALUE 1 ctx->schemes.prev->prev 4096-ptr_max
PARAM_VALUE 1 ctx->walk_control_lock.dep_map->name 0-255
PARAM_VALUE 1 ctx->walk_control_lock.first_waiter 0
PARAM_VALUE 1 ctx->walk_control_lock.magic 4096-ptr_max
PARAM_VALUE 1 ctx->walk_control_lock.osq.tail.counter 0
PARAM_VALUE 1 ctx->walk_control_lock.owner.counter 0
BUF_SIZE 0 t 48
BUF_SIZE 1 ctx 896
DATA_SOURCE 0 t r damon_new_target
DATA_SOURCE 1 ctx r damon_new_ctx
NOCHECK_CALL