Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/fork.c dup_task_struct() -> account_kernel_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
PARAM_VALUE 1 account 1
DATA_SOURCE 0 tsk r alloc_task_struct_node
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/fork.c exit_task_stack_account() -> account_kernel_stack()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 0 tsk->signal->cgroup_threadgroup_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 tsk->signal->cgroup_threadgroup_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 tsk->user_event_mm->mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 tsk->user_event_mm->mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 1 account (-1)
CAPPED_DATA 0 tsk 1
DATA_SOURCE 0 tsk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 tsk->dl.pi_se->runtime 1-17592186044415[c]
USER_DATA 0 tsk->exit_code 0,256-65280[c]
USER_DATA 0 tsk->signal->group_exit_code 0,256-65280[c]