Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/coredump.c zap_threads() -> zap_process()

Type Parameter Key Value
PARAM_VALUE 0 signal 4096-ptr_max
PARAM_VALUE 0 signal->core_state 7181041561060503552
PARAM_VALUE 0 signal->core_state->dumper.next 0
PARAM_VALUE 0 signal->core_state->startup.done 0
PARAM_VALUE 0 signal->core_state->startup.wait.lock.magic 3735899821
PARAM_VALUE 0 signal->core_state->startup.wait.lock.owner (-1)
PARAM_VALUE 0 signal->core_state->startup.wait.lock.owner_cpu u32max
PARAM_VALUE 0 signal->core_state->startup.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 signal->core_state->startup.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 signal->group_exec_task 0
DATA_SOURCE 1 exit_code $2
BIT_INFO 0 signal->flags 0x0,0xfffffffb
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &tsk->sighand->siglock
LOCK2 irq
TYPE_LOCK (struct sighand_struct)->siglock