Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/cgroup/cpuset.c cpuset_update_flag() -> validate_change()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->css.ss->bind 0,4096-ptr_max
PARAM_VALUE 0 cur->css.ss->can_fork 0,4096-ptr_max
PARAM_VALUE 0 cur->css.ss->exit 0,4096-ptr_max
PARAM_VALUE 0 cur->css.ss->fork 0,4096-ptr_max
PARAM_VALUE 0 cur->css.ss->release 0,4096-ptr_max
PARAM_VALUE 1 trial 4096-ptr_max
PARAM_VALUE 1 trial->attach_node.next 4096-ptr_max
PARAM_VALUE 1 trial->attach_node.next->next 4096-ptr_max
PARAM_VALUE 1 trial->dl_bw_cpu (-1)
BUF_SIZE 1 trial 1144
CAPPED_DATA 0 cur 1
DATA_SOURCE 0 cur $1
DATA_SOURCE 1 trial r dup_or_alloc_cpuset
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &cgroup_mutex
HALF_LOCKED2 global &cpuset_mutex
HALF_LOCKED2 global &cpuset_top_mutex

kernel/cgroup/cpuset.c update_cpumask() -> validate_change()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-2371988510885339135,2371988510885339137-ptr_max
PARAM_VALUE 0 cur->css.flags 2-u32max
PARAM_VALUE 1 trial 4096-ptr_max
PARAM_VALUE 1 trial->attach_node.next 4096-ptr_max
PARAM_VALUE 1 trial->attach_node.next->next 4096-ptr_max
PARAM_VALUE 1 trial->dl_bw_cpu (-1)
PARAM_VALUE 1 trial->prs_err 0
BUF_SIZE 1 trial 1144
CAPPED_DATA 0 cur 1
DATA_SOURCE 0 cur $0
DATA_SOURCE 1 trial $1
MEM_ZERO 1 trial->cpus_allowed->bits
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 global &cpuset_mutex
LOCK2 global &cpuset_top_mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

kernel/cgroup/cpuset.c update_exclusive_cpumask() -> validate_change()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-2371988510885339135,2371988510885339137-ptr_max
PARAM_VALUE 0 cur->css.flags 2-u32max
PARAM_VALUE 1 trial 4096-ptr_max
PARAM_VALUE 1 trial->attach_node.next 4096-ptr_max
PARAM_VALUE 1 trial->attach_node.next->next 4096-ptr_max
PARAM_VALUE 1 trial->dl_bw_cpu (-1)
BUF_SIZE 1 trial 1144
CAPPED_DATA 0 cur 1
DATA_SOURCE 0 cur $0
DATA_SOURCE 1 trial $1
MEM_ZERO 1 trial->exclusive_cpus->bits
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 global &cpuset_mutex
LOCK2 global &cpuset_top_mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

kernel/cgroup/cpuset.c update_nodemask() -> validate_change()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-2371988510885339135,2371988510885339137-ptr_max
PARAM_VALUE 0 cur->css.flags 2-u32max
PARAM_VALUE 1 trial 4096-ptr_max
PARAM_VALUE 1 trial->attach_node.next 4096-ptr_max
PARAM_VALUE 1 trial->attach_node.next->next 4096-ptr_max
PARAM_VALUE 1 trial->dl_bw_cpu (-1)
BUF_SIZE 1 trial 1144
DATA_SOURCE 0 cur $0
DATA_SOURCE 1 trial $1
MEM_ZERO 1 trial->mems_allowed.bits
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 global &cpuset_mutex
LOCK2 global &cpuset_top_mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex