Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/exit.c next_thread() -> __next_thread()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
CAPPED_DATA 0 p 1
DATA_SOURCE 0 p $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &tasklist_lock
HALF_LOCKED2 &sighand->siglock
HALF_LOCKED2 irq

fs/proc/base.c next_tid() -> __next_thread()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
DATA_SOURCE 0 p $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &dir_fp->readdir_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

kernel/cgroup/cgroup.c next_thread() -> __next_thread()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
DATA_SOURCE 0 p $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &cgroup_mutex
LOCK2 global &css_set_lock
LOCK2 irq
HALF_LOCKED2 &of->mutex

kernel/signal.c next_thread() -> __next_thread()

Type Parameter Key Value
DATA_SOURCE 0 p $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sighand->siglock
HALF_LOCKED2 &tsk->sighand->siglock
HALF_LOCKED2 irq

kernel/bpf/task_iter.c bpf_iter_task_next() -> __next_thread()

Type Parameter Key Value
PARAM_VALUE 0 p 1-u64max

kernel/bpf/task_iter.c task_group_seq_get_next() -> __next_thread()

Type Parameter Key Value
PARAM_VALUE 0 p 1-u64max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &seq->lock
LOCK2 rcu_read
TYPE_LOCK (struct seq_file)->lock

fs/exec.c next_thread() -> __next_thread()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
DATA_SOURCE 0 p $0
PREEMPT_ADD
LOCK2 &p->fs->seq.lock
LOCK2 rcu_read
TYPE_LOCK (struct seqlock)->lock