Defined in 3 files as a function:
- kernel/fork.c, line 381 (as a function)
- kernel/fork.c, line 422 (as a function)
- kernel/fork.c, line 453 (as a function)
Referenced in 1 files:
Smatch caller information:
kernel/fork.c dup_task_struct() -> free_thread_stack()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tsk | 4096-ptr_max |
| PARAM_VALUE | 0 | tsk->stack_refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | tsk->stack_vm_area | 4096-ptr_max |
| PARAM_VALUE | 0 | tsk->stack_vm_area->nr_pages | 8 |
| PARAM_VALUE | 0 | tsk->stack_vm_area->pages | 4096-ptr_max |
| DATA_SOURCE | 0 | tsk | r alloc_task_struct_node |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
kernel/fork.c release_task_stack() -> free_thread_stack()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tsk | 4096-ptr_max |
| PARAM_VALUE | 0 | tsk->__state | 128 |
| PARAM_VALUE | 0 | tsk->sched_class->task_dead | 0,6742757381008068608 |
| PARAM_VALUE | 0 | tsk->signal->exec_update_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | tsk->signal->exec_update_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | tsk->signal->oom_mm->mmap_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | tsk->signal->oom_mm->mmap_lock.first_waiter->type | 0-1 |
| CAPPED_DATA | 0 | tsk | 1 |
| DATA_SOURCE | 0 | tsk | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | tsk | unit_byte |
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | global &scan_mutex | ||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | 0 | &tsk->pi_lock | |
| HALF_LOCKED2 | 0 | &tsk->signal->exec_update_lock |