Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/exec.c de_thread() -> transfer_pid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | old | 4096-ptr_max |
| PARAM_VALUE | 0 | old->exit_state | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | new | 4096-ptr_max |
| PARAM_VALUE | 1 | new->exit_signal | s32min-(-1) |
| PARAM_VALUE | 1 | new->sighand->siglock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | new->signal->cgroup_threadgroup_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | new->signal->cgroup_threadgroup_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | new->signal->group_exec_task | 4096-ptr_max |
| PARAM_VALUE | 1 | new->signal->group_exec_task->signal | 4096-ptr_max |
| PARAM_VALUE | 1 | new->signal->group_stop_count | 0 |
| PARAM_VALUE | 2 | type | 1 |
| CAPPED_DATA | 0 | old->signal | 1 |
| CAPPED_DATA | 1 | new | 1 |
| CAPPED_DATA | 1 | new->signal | 1 |
| DATA_SOURCE | 1 | new | $0 |
| PARAM_COMPARE | 0 | old->signal | == $1->signal |
| HARD_MAX | 1 | new->exit_signal | (-1) |
| NOCHECK_CALL | |||
| LOCK2 | global &tasklist_lock | ||
| LOCK2 | irq |
fs/exec.c de_thread() -> transfer_pid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | old | 4096-ptr_max |
| PARAM_VALUE | 0 | old->exit_state | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | new | 4096-ptr_max |
| PARAM_VALUE | 1 | new->exit_signal | s32min-(-1) |
| PARAM_VALUE | 1 | new->sighand->siglock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | new->signal->cgroup_threadgroup_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | new->signal->cgroup_threadgroup_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | new->signal->group_exec_task | 4096-ptr_max |
| PARAM_VALUE | 1 | new->signal->group_exec_task->signal | 4096-ptr_max |
| PARAM_VALUE | 1 | new->signal->group_stop_count | 0 |
| PARAM_VALUE | 2 | type | 2 |
| CAPPED_DATA | 0 | old->signal | 1 |
| CAPPED_DATA | 1 | new | 1 |
| CAPPED_DATA | 1 | new->signal | 1 |
| DATA_SOURCE | 1 | new | $0 |
| PARAM_COMPARE | 0 | old->signal | == $1->signal |
| HARD_MAX | 1 | new->exit_signal | (-1) |
| NOCHECK_CALL | |||
| LOCK2 | global &tasklist_lock | ||
| LOCK2 | irq |
fs/exec.c de_thread() -> transfer_pid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | old | 4096-ptr_max |
| PARAM_VALUE | 0 | old->exit_state | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | new | 4096-ptr_max |
| PARAM_VALUE | 1 | new->exit_signal | s32min-(-1) |
| PARAM_VALUE | 1 | new->sighand->siglock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | new->signal->cgroup_threadgroup_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | new->signal->cgroup_threadgroup_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | new->signal->group_exec_task | 4096-ptr_max |
| PARAM_VALUE | 1 | new->signal->group_exec_task->signal | 4096-ptr_max |
| PARAM_VALUE | 1 | new->signal->group_stop_count | 0 |
| PARAM_VALUE | 2 | type | 3 |
| CAPPED_DATA | 0 | old->signal | 1 |
| CAPPED_DATA | 1 | new | 1 |
| CAPPED_DATA | 1 | new->signal | 1 |
| DATA_SOURCE | 1 | new | $0 |
| PARAM_COMPARE | 0 | old->signal | == $1->signal |
| HARD_MAX | 1 | new->exit_signal | (-1) |
| NOCHECK_CALL | |||
| LOCK2 | global &tasklist_lock | ||
| LOCK2 | irq |