Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/oom_kill.c oom_badness() -> in_vfork()
| 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 | 4096-ptr_max |
| PARAM_VALUE | 0 | tsk->signal->oom_score_adj | s16min-(-1001),(-999)-s16max |
| DATA_SOURCE | 0 | tsk | r find_lock_task_mm |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | global &oom_lock |