Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/cgroup/cgroup.c cgroup_destroy_root() -> cgroup_exit_root_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | root | 4096-ptr_max |
| PARAM_VALUE | 0 | root->cgrp.self.children.next | 4096-ptr_max |
| PARAM_VALUE | 0 | root->nr_cgrps.counter | 0 |
| PARAM_VALUE | 0 | root->root_list.next->prev | 4096-ptr_max |
| CAPPED_DATA | 0 | &root->root_list | 1 |
| DATA_SOURCE | 0 | root | $0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
kernel/cgroup/cgroup.c cgroup_setup_root() -> cgroup_exit_root_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | root | 4096-ptr_max |
| PARAM_VALUE | 0 | root->cgrp.ancestors | 4096-ptr_max |
| PARAM_VALUE | 0 | root->cgrp.kn | 4096-ptr_max |
| PARAM_VALUE | 0 | root->cgrp.self.refcnt.data->count.counter | s64min-(-9223372036854775807),0-s64max |
| PARAM_VALUE | 0 | root->cgrp.self.ss->css_rstat_flush | 0,4093796338165313536,4446828206639517696 |
| PARAM_VALUE | 0 | root->hierarchy_id | 0-s32max |
| PARAM_VALUE | 0 | root->kf_root | 0,(-12) |
| BUF_SIZE | 0 | root | (-1),16384 |
| BUF_SIZE | 0 | root | (-1),16384 |
| CAPPED_DATA | 0 | root->cgrp.kn | 1 |
| DATA_SOURCE | 0 | root | $0 |
| BIT_INFO | 0 | root->kf_root | 0x0,0xfffffffffffffff4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &cgroup_mutex |