Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

kernel/exit.c do_exit() -> is_global_init()

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

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

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

mm/oom_kill.c __oom_kill_process() -> is_global_init()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-4931338248183341055,4931338248183341057-ptr_max
CAPPED_DATA 0 tsk->signal 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &oom_lock
LOCK2 rcu_read

mm/oom_kill.c oom_kill_memcg_member() -> is_global_init()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
DATA_SOURCE 0 tsk $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &oom_lock
HALF_LOCKED2 &pool->lock

mm/oom_kill.c oom_unkillable_task() -> is_global_init()

Type Parameter Key Value
DATA_SOURCE 0 tsk $0
STR_LEN 0 tsk (-1),13,27,40
STR_LEN 0 tsk (-1),13,27,40
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &oom_lock

fs/proc/base.c __set_oom_adj() -> is_global_init()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-4931338248183341055,4931338248183341057-ptr_max
BIT_INFO 0 tsk->flags 0x0,0xffdfffff
NOSPEC 0 tsk->signal->oom_score_adj
NOSPEC 0 tsk->signal->oom_score_adj_min
USER_DATA 0 tsk->signal->oom_score_adj (-1000)-1000[c]
USER_DATA 0 tsk->signal->oom_score_adj_min (-1000)-1000[c]
LOCK2 global &oom_adj_mutex
LOCK2 rcu_read

kernel/crash_core.c kexec_should_crash() -> is_global_init()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
DATA_SOURCE 0 tsk $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags

kernel/signal.c sig_task_ignored() -> is_global_init()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
DATA_SOURCE 0 tsk $0
NOSPEC 0 tsk->thread.fsbase
NOSPEC 0 tsk->thread.gsbase
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 tsk->exit_signal 1-64[c]
USER_DATA 0 tsk->group_leader->thread.fsbase 0-s32max[c]
USER_DATA 0 tsk->group_leader->thread.gsbase 0-s32max[c]
USER_DATA 0 tsk->parent->exit_code 0,256-65280[c]
USER_DATA 0 tsk->ptrace 65537,65545-33619953[c]
USER_DATA 0 tsk->real_parent->exit_code 0,256-65280[c]
USER_DATA 0 tsk->thread.fsbase 0-s32max[c]
USER_DATA 0 tsk->thread.gsbase 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 tsk->dl.pi_se->dl_runtime
UNITS 0 tsk unit_byte
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read
HALF_LOCKED2 0 &tsk->alloc_lock
HALF_LOCKED2 0 &tsk->sighand->siglock

kernel/signal.c unhandled_signal() -> is_global_init()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
DATA_SOURCE 0 tsk $0
STR_LEN 0 tsk (-1)-0,5
STR_LEN 0 tsk (-1)-0,5
STR_LEN 0 tsk->thread.trap_nr (-1)
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/trace/bpf_trace.c bpf_send_signal_common() -> is_global_init()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
DATA_SOURCE 0 tsk $2 [m]
BIT_INFO 0 tsk->flags 0x0,0xffdffffb

drivers/tty/sysrq.c send_sig_all() -> is_global_init()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-4931338248183341055,4931338248183341057-ptr_max
BIT_INFO 0 tsk->flags 0x0,0xffdfffff
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &tasklist_lock
LOCK2 rcu_read
HALF_LOCKED2 &dev->event_lock
HALF_LOCKED2 irq