Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 0 tsk->alloc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 tsk->mm 4096-ptr_max
PARAM_VALUE 0 tsk->sighand 0,4096-ptr_max
PARAM_VALUE 0 tsk->sighand->siglock.rlock.dep_map->name 0-255
PARAM_VALUE 0 tsk->signal 4096-ptr_max
PARAM_VALUE 0 tsk->signal->flags 0,2-u32max
PARAM_VALUE 0 tsk->signal->group_stop_count 0
CAPPED_DATA 0 tsk 1
CAPPED_DATA 0 tsk->signal 1
DATA_SOURCE 0 tsk $0 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &oom_lock

mm/oom_kill.c oom_kill_process() -> queue_oom_reaper()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 0 tsk->alloc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 tsk->mm 4096-ptr_max
PARAM_VALUE 0 tsk->signal->core_state 0
CAPPED_DATA 0 tsk->mm 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &oom_lock
LOCK2 0 &tsk->alloc_lock
TYPE_LOCK (struct task_struct)->alloc_lock

mm/oom_kill.c out_of_memory() -> queue_oom_reaper()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &oom_lock