Open Menu /

Defined in 1 files as a function:

Referenced in 10 files:

Smatch caller information:

kernel/exit.c exit_notify() -> thread_group_empty()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->signal 4096-ptr_max
CAPPED_DATA 0 p 1
CAPPED_DATA 0 p->cgroups 1
CAPPED_DATA 0 p->sched_class 1
CAPPED_DATA 0 p->signal 1
DATA_SOURCE 0 p $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 p->dl.pi_se->runtime 1-17592186044415[c]
USER_DATA 0 p->exit_code 0,256-65280[c]
USER_DATA 0 p->signal->group_exit_code 0,256-65280[c]
LOCK2 global &tasklist_lock
LOCK2 irq
HALF_LOCKED2 global &system_transition_mutex

kernel/exit.c exit_notify() -> thread_group_empty()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->exit_signal 0-s32max
PARAM_VALUE 0 p->signal 4096-ptr_max
CAPPED_DATA 0 p 1
CAPPED_DATA 0 p->cgroups 1
CAPPED_DATA 0 p->sched_class 1
CAPPED_DATA 0 p->signal 1
DATA_SOURCE 0 p $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 p->dl.pi_se->runtime 1-17592186044415[c]
USER_DATA 0 p->exit_code 0,256-65280[c]
USER_DATA 0 p->signal->group_exit_code 0,256-65280[c]
LOCK2 global &tasklist_lock
LOCK2 irq
HALF_LOCKED2 global &system_transition_mutex

kernel/exit.c release_task() -> thread_group_empty()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &tasklist_lock
LOCK2 irq

kernel/exit.c reparent_leader() -> thread_group_empty()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->exit_signal 17
DATA_SOURCE 0 p $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &tasklist_lock
LOCK2 irq
HALF_LOCKED2 global &system_transition_mutex

kernel/exit.c wait_consider_task() -> thread_group_empty()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->exit_signal 0-s32max
DATA_SOURCE 0 p $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &tasklist_lock

kernel/exit.c will_become_orphaned_pgrp() -> thread_group_empty()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &tasklist_lock
HALF_LOCKED2 irq

kernel/fork.c check_unshare_flags() -> thread_group_empty()

Type Parameter Key Value

fs/pidfs.c pidfd_poll() -> thread_group_empty()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->exit_signal 0-s32max
DATA_SOURCE 0 p r pid_task
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu

mm/oom_kill.c __task_will_free_mem() -> thread_group_empty()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->signal 4096-ptr_max
DATA_SOURCE 0 p $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &oom_lock
HALF_LOCKED2 rcu_read
HALF_LOCKED2 0 &p->alloc_lock

kernel/ptrace.c __ptrace_detach() -> thread_group_empty()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->exit_signal 0-s32max
CAPPED_DATA 0 p 1
DATA_SOURCE 0 p $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 p->dl.pi_se->runtime 1-17592186044415[c]
USER_DATA 0 p->exit_code 0-64
LOCK2 global &tasklist_lock
LOCK2 irq

kernel/taskstats.c taskstats_tgid_alloc() -> thread_group_empty()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->signal 4096-ptr_max
CAPPED_DATA 0 p 1
DATA_SOURCE 0 p $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 p->exit_code 0,256-65280[c]
USER_DATA 0 p->signal->group_exit_code 0,256-65280[c]
HALF_LOCKED2 global &system_transition_mutex

security/keys/keyctl.c keyctl_session_to_parent() -> thread_group_empty()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
LOCK2 global &tasklist_lock
LOCK2 irq
LOCK2 rcu_read

kernel/user_namespace.c userns_install() -> thread_group_empty()

Type Parameter Key Value

kernel/signal.c __set_task_blocked() -> thread_group_empty()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
DATA_SOURCE 0 p $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq
LOCK2 0 &p->sighand->siglock
TYPE_LOCK (struct sighand_struct)->siglock

kernel/signal.c complete_signal() -> thread_group_empty()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
BUF_SIZE 0 p (-1),1-s32max
BUF_SIZE 0 p (-1),1-s32max
CAPPED_DATA 0 p 1
DATA_SOURCE 0 p $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 p->parent->exit_code 0,256-65280[c]
USER_DATA 0 p->ptrace 65537,65545-33619953[c]
USER_DATA 0 p->real_parent->exit_code 0,256-65280[c]
NO_OVERFLOW_SIMPLE 0 p->dl.pi_se->dl_runtime
UNITS 0 p unit_byte
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read
HALF_LOCKED2 0 &p->alloc_lock
HALF_LOCKED2 0 &p->sighand->siglock

kernel/signal.c do_notify_parent() -> thread_group_empty()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->exit_signal 0-s32max
CAPPED_DATA 0 p 1
DATA_SOURCE 0 p $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 p->dl.pi_se->runtime 1-17592186044415[c]
USER_DATA 0 p->exit_code 0-64,256-65280[c]
USER_DATA 0 p->signal->group_exit_code 0,256-65280[c]
NO_OVERFLOW_SIMPLE 0 p->delays->blkio_delay
NO_OVERFLOW_SIMPLE 0 p->delays->compact_delay
NO_OVERFLOW_SIMPLE 0 p->delays->freepages_delay
NO_OVERFLOW_SIMPLE 0 p->delays->irq_delay
NO_OVERFLOW_SIMPLE 0 p->delays->swapin_delay
NO_OVERFLOW_SIMPLE 0 p->delays->thrashing_delay
NO_OVERFLOW_SIMPLE 0 p->delays->wpcopy_delay
NO_OVERFLOW_SIMPLE 0 p->signal->stats->blkio_delay_total
NO_OVERFLOW_SIMPLE 0 p->signal->stats->compact_delay_total
NO_OVERFLOW_SIMPLE 0 p->signal->stats->cpu_delay_total
NO_OVERFLOW_SIMPLE 0 p->signal->stats->cpu_run_virtual_total
NO_OVERFLOW_SIMPLE 0 p->signal->stats->freepages_delay_total
NO_OVERFLOW_SIMPLE 0 p->signal->stats->irq_delay_total
NO_OVERFLOW_SIMPLE 0 p->signal->stats->swapin_delay_total
NO_OVERFLOW_SIMPLE 0 p->signal->stats->thrashing_delay_total
NO_OVERFLOW_SIMPLE 0 p->signal->stats->wpcopy_delay_total
LOCK2 global &tasklist_lock
LOCK2 irq

kernel/signal.c exit_signals() -> thread_group_empty()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->signal 4096-ptr_max
CAPPED_DATA 0 p 1
DATA_SOURCE 0 p $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 p->signal->group_exit_code 0,256-65280[c]
HALF_LOCKED2 global &system_transition_mutex

fs/exec.c de_thread() -> thread_group_empty()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
DATA_SOURCE 0 p $0