Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/fork.c copy_process() -> rt_mutex_init_task()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->active_memcg 0
PARAM_VALUE 0 p->bpf_ctx 0
PARAM_VALUE 0 p->bpf_storage 0
PARAM_VALUE 0 p->btrace_seq 0
PARAM_VALUE 0 p->curr_ret_depth (-1)
PARAM_VALUE 0 p->curr_ret_stack 0
PARAM_VALUE 0 p->exec_state 4096-ptr_max
PARAM_VALUE 0 p->fail_nth 0
PARAM_VALUE 0 p->kcov 0
PARAM_VALUE 0 p->kcov_area 0
PARAM_VALUE 0 p->kcov_mode 0
PARAM_VALUE 0 p->kcov_remote 0
PARAM_VALUE 0 p->kcov_saved_area 0
PARAM_VALUE 0 p->kcov_saved_kcov 0
PARAM_VALUE 0 p->kcov_saved_mode 0
PARAM_VALUE 0 p->kcov_saved_sequence 0
PARAM_VALUE 0 p->kcov_saved_size 0
PARAM_VALUE 0 p->kcov_sequence 0
PARAM_VALUE 0 p->kcov_size 0
PARAM_VALUE 0 p->kcov_softirq 0
PARAM_VALUE 0 p->mm_cid.active 0
PARAM_VALUE 0 p->mm_cid.cid 2147483648
PARAM_VALUE 0 p->mm_cid.node.next 0
PARAM_VALUE 0 p->mm_cid.node.pprev 0
PARAM_VALUE 0 p->pasid_activated 0
PARAM_VALUE 0 p->rcu_users.refs.counter 2
PARAM_VALUE 0 p->reported_split_lock 0
PARAM_VALUE 0 p->seccomp.filter 0
PARAM_VALUE 0 p->splice_pipe 0
PARAM_VALUE 0 p->stack 4096-ptr_max
PARAM_VALUE 0 p->stack_canary 0,256-u64max
PARAM_VALUE 0 p->stack_refcount.refs.counter 1
PARAM_VALUE 0 p->stack_vm_area 4096-ptr_max
PARAM_VALUE 0 p->stack_vm_area->nr_pages 8
PARAM_VALUE 0 p->stack_vm_area->pages 4096-ptr_max
PARAM_VALUE 0 p->task_frag.page 0
PARAM_VALUE 0 p->throttle_disk 0
PARAM_VALUE 0 p->usage.refs.counter 1
PARAM_VALUE 0 p->use_memdelay 0
PARAM_VALUE 0 p->wake_q.next 0
PARAM_VALUE 0 p->worker_private 0
PARAM_VALUE 0 *p->stack 1470918301
DATA_SOURCE 0 p r dup_task_struct
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL