Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/fork.c copy_exec_state() -> task_exec_state_copy()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 0 tsk->active_memcg 0
PARAM_VALUE 0 tsk->bpf_ctx 0
PARAM_VALUE 0 tsk->bpf_storage 0
PARAM_VALUE 0 tsk->btrace_seq 0
PARAM_VALUE 0 tsk->exec_state 0
PARAM_VALUE 0 tsk->fail_nth 0
PARAM_VALUE 0 tsk->kcov 0
PARAM_VALUE 0 tsk->kcov_area 0
PARAM_VALUE 0 tsk->kcov_mode 0
PARAM_VALUE 0 tsk->kcov_remote 0
PARAM_VALUE 0 tsk->kcov_sequence 0
PARAM_VALUE 0 tsk->kcov_size 0
PARAM_VALUE 0 tsk->mm_cid.active 0
PARAM_VALUE 0 tsk->mm_cid.cid 2147483648
PARAM_VALUE 0 tsk->mm_cid.node.next 0
PARAM_VALUE 0 tsk->mm_cid.node.pprev 0
PARAM_VALUE 0 tsk->pasid_activated 0
PARAM_VALUE 0 tsk->rcu_users.refs.counter 2
PARAM_VALUE 0 tsk->reported_split_lock 0
PARAM_VALUE 0 tsk->seccomp.filter 0
PARAM_VALUE 0 tsk->splice_pipe 0
PARAM_VALUE 0 tsk->stack 4096-ptr_max
PARAM_VALUE 0 tsk->stack_canary 0,256-u64max
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 0 tsk->task_frag.page 0
PARAM_VALUE 0 tsk->throttle_disk 0
PARAM_VALUE 0 tsk->usage.refs.counter 1
PARAM_VALUE 0 tsk->use_memdelay 0
PARAM_VALUE 0 tsk->wake_q.next 0
PARAM_VALUE 0 tsk->worker_private 0
PARAM_VALUE 0 *tsk->stack 1470918301
DATA_SOURCE 0 tsk $1
RX_PATH
TASK_NOT_RUNNING