Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

kernel/fork.c __do_sys_clone() -> kernel_clone()

Type Parameter Key Value
PARAM_VALUE 0 args 7771130754435276800
PARAM_VALUE 0 args->cgroup 0
PARAM_VALUE 0 args->cgrp 0
PARAM_VALUE 0 args->cset 0
PARAM_VALUE 0 args->exit_signal 0-255
PARAM_VALUE 0 args->flags 0,256-u32max
PARAM_VALUE 0 args->fn 0
PARAM_VALUE 0 args->fn_arg 0
PARAM_VALUE 0 args->idle 0
PARAM_VALUE 0 args->io_thread 0
PARAM_VALUE 0 args->kill_seq 0
PARAM_VALUE 0 args->kthread 0
PARAM_VALUE 0 args->name 0
PARAM_VALUE 0 args->no_files 0
PARAM_VALUE 0 args->set_tid 0
PARAM_VALUE 0 args->umh 0
USER_DATA 0 args->exit_signal 1-255[c]
USER_DATA 0 args->flags 0,256-u32max[c]
USER_DATA 0 args->stack 0-u64max
USER_DATA 0 args->tls 0-u64max

kernel/fork.c __do_sys_clone() -> kernel_clone()

Type Parameter Key Value
PARAM_VALUE 0 args 7771130754435276800
PARAM_VALUE 0 args->cgroup 0
PARAM_VALUE 0 args->cgrp 0
PARAM_VALUE 0 args->cset 0
PARAM_VALUE 0 args->exit_signal 0-255
PARAM_VALUE 0 args->flags 0,256-u32max
PARAM_VALUE 0 args->fn 0
PARAM_VALUE 0 args->fn_arg 0
PARAM_VALUE 0 args->idle 0
PARAM_VALUE 0 args->io_thread 0
PARAM_VALUE 0 args->kill_seq 0
PARAM_VALUE 0 args->kthread 0
PARAM_VALUE 0 args->name 0
PARAM_VALUE 0 args->no_files 0
PARAM_VALUE 0 args->set_tid 0
PARAM_VALUE 0 args->umh 0
USER_DATA 0 args->exit_signal 1-255[c]
USER_DATA 0 args->flags 0,256-u32max[c]
USER_DATA 0 args->stack 0-u64max
USER_DATA 0 args->tls 0-u64max

kernel/fork.c __do_sys_clone3() -> kernel_clone()

Type Parameter Key Value
PARAM_VALUE 0 args 5699141529993039872
PARAM_VALUE 0 args->flags 0-274877906942
PARAM_VALUE 0 args->set_tid 6318522630840340480
USER_PTR 0 args->set_tid

kernel/fork.c __do_sys_clone3() -> kernel_clone()

Type Parameter Key Value
PARAM_VALUE 0 args 5699141529993039872
PARAM_VALUE 0 args->flags 0-274877906942
PARAM_VALUE 0 args->set_tid 6318522630840340480
USER_PTR 0 args->set_tid

kernel/fork.c __do_sys_fork() -> kernel_clone()

Type Parameter Key Value
PARAM_VALUE 0 args 6828043156333297664
PARAM_VALUE 0 args->cgroup 0
PARAM_VALUE 0 args->cgrp 0
PARAM_VALUE 0 args->child_tid 0
PARAM_VALUE 0 args->cset 0
PARAM_VALUE 0 args->exit_signal 17
PARAM_VALUE 0 args->flags 0
PARAM_VALUE 0 args->fn 0
PARAM_VALUE 0 args->fn_arg 0
PARAM_VALUE 0 args->idle 0
PARAM_VALUE 0 args->io_thread 0
PARAM_VALUE 0 args->kill_seq 0
PARAM_VALUE 0 args->kthread 0
PARAM_VALUE 0 args->name 0
PARAM_VALUE 0 args->no_files 0
PARAM_VALUE 0 args->parent_tid 0
PARAM_VALUE 0 args->pidfd 0
PARAM_VALUE 0 args->set_tid 0
PARAM_VALUE 0 args->stack 0
PARAM_VALUE 0 args->tls 0
PARAM_VALUE 0 args->umh 0

kernel/fork.c __do_sys_vfork() -> kernel_clone()

Type Parameter Key Value
PARAM_VALUE 0 args 6807352722277675008
PARAM_VALUE 0 args->cgroup 0
PARAM_VALUE 0 args->cgrp 0
PARAM_VALUE 0 args->child_tid 0
PARAM_VALUE 0 args->cset 0
PARAM_VALUE 0 args->exit_signal 17
PARAM_VALUE 0 args->flags 16640
PARAM_VALUE 0 args->fn 0
PARAM_VALUE 0 args->fn_arg 0
PARAM_VALUE 0 args->idle 0
PARAM_VALUE 0 args->io_thread 0
PARAM_VALUE 0 args->kill_seq 0
PARAM_VALUE 0 args->kthread 0
PARAM_VALUE 0 args->name 0
PARAM_VALUE 0 args->no_files 0
PARAM_VALUE 0 args->parent_tid 0
PARAM_VALUE 0 args->pidfd 0
PARAM_VALUE 0 args->set_tid 0
PARAM_VALUE 0 args->stack 0
PARAM_VALUE 0 args->tls 0
PARAM_VALUE 0 args->umh 0

kernel/fork.c kernel_thread() -> kernel_clone()

Type Parameter Key Value
PARAM_VALUE 0 args 2073560268688809984
PARAM_VALUE 0 args->cgroup 0
PARAM_VALUE 0 args->cgrp 0
PARAM_VALUE 0 args->child_tid 0
PARAM_VALUE 0 args->cset 0
PARAM_VALUE 0 args->exit_signal 0,17
PARAM_VALUE 0 args->flags 8390400
PARAM_VALUE 0 args->fn 1404299881461129216,6746827533813919744
PARAM_VALUE 0 args->fn_arg 0,4096-ptr_max
PARAM_VALUE 0 args->idle 0
PARAM_VALUE 0 args->io_thread 0
PARAM_VALUE 0 args->kill_seq 0
PARAM_VALUE 0 args->kthread 1
PARAM_VALUE 0 args->no_files 0
PARAM_VALUE 0 args->parent_tid 0
PARAM_VALUE 0 args->pidfd 0
PARAM_VALUE 0 args->set_tid 0
PARAM_VALUE 0 args->stack 0
PARAM_VALUE 0 args->tls 0
PARAM_VALUE 0 args->umh 0

kernel/fork.c user_mode_thread() -> kernel_clone()

Type Parameter Key Value
PARAM_VALUE 0 args 2851390216021549056
PARAM_VALUE 0 args->cgroup 0
PARAM_VALUE 0 args->cgrp 0
PARAM_VALUE 0 args->child_tid 0
PARAM_VALUE 0 args->cset 0
PARAM_VALUE 0 args->exit_signal 17
PARAM_VALUE 0 args->flags 8388864,8421632
PARAM_VALUE 0 args->fn 4905442827756208128
PARAM_VALUE 0 args->fn_arg 4096-ptr_max
PARAM_VALUE 0 args->idle 0
PARAM_VALUE 0 args->io_thread 0
PARAM_VALUE 0 args->kill_seq 0
PARAM_VALUE 0 args->kthread 0
PARAM_VALUE 0 args->name 0
PARAM_VALUE 0 args->no_files 0
PARAM_VALUE 0 args->parent_tid 0
PARAM_VALUE 0 args->pidfd 0
PARAM_VALUE 0 args->set_tid 0
PARAM_VALUE 0 args->stack 0
PARAM_VALUE 0 args->tls 0
PARAM_VALUE 0 args->umh 1
HALF_LOCKED2 &pool->lock

init/main.c rest_init() -> kernel_clone()

Type Parameter Key Value
PARAM_VALUE 0 args 5537795041285541888
PARAM_VALUE 0 args->cgroup 0
PARAM_VALUE 0 args->cgrp 0
PARAM_VALUE 0 args->child_tid 0
PARAM_VALUE 0 args->cset 0
PARAM_VALUE 0 args->exit_signal 0
PARAM_VALUE 0 args->flags 8388864
PARAM_VALUE 0 args->fn 9106807504283303936
PARAM_VALUE 0 args->fn_arg 0
PARAM_VALUE 0 args->idle 0
PARAM_VALUE 0 args->io_thread 0
PARAM_VALUE 0 args->kill_seq 0
PARAM_VALUE 0 args->kthread 0
PARAM_VALUE 0 args->name 0
PARAM_VALUE 0 args->no_files 0
PARAM_VALUE 0 args->parent_tid 0
PARAM_VALUE 0 args->pidfd 0
PARAM_VALUE 0 args->set_tid 0
PARAM_VALUE 0 args->stack 0
PARAM_VALUE 0 args->tls 0
PARAM_VALUE 0 args->umh 0

arch/x86/kernel/sys_ia32.c __do_compat_sys_ia32_clone() -> kernel_clone()

Type Parameter Key Value
PARAM_VALUE 0 args 9000538344643420160
PARAM_VALUE 0 args->cgroup 0
PARAM_VALUE 0 args->cgrp 0
PARAM_VALUE 0 args->cset 0
PARAM_VALUE 0 args->exit_signal 0-255
PARAM_VALUE 0 args->flags 0,256-u64max
PARAM_VALUE 0 args->fn 0
PARAM_VALUE 0 args->fn_arg 0
PARAM_VALUE 0 args->idle 0
PARAM_VALUE 0 args->io_thread 0
PARAM_VALUE 0 args->kill_seq 0
PARAM_VALUE 0 args->kthread 0
PARAM_VALUE 0 args->name 0
PARAM_VALUE 0 args->no_files 0
PARAM_VALUE 0 args->set_tid 0
PARAM_VALUE 0 args->umh 0
USER_DATA 0 args->exit_signal 1-255[c]
USER_DATA 0 args->flags 0,256-u64max[c]
USER_DATA 0 args->stack 0-u64max
USER_DATA 0 args->tls 0-u64max

arch/x86/kernel/sys_ia32.c __do_compat_sys_ia32_clone() -> kernel_clone()

Type Parameter Key Value
PARAM_VALUE 0 args 9000538344643420160
PARAM_VALUE 0 args->cgroup 0
PARAM_VALUE 0 args->cgrp 0
PARAM_VALUE 0 args->cset 0
PARAM_VALUE 0 args->exit_signal 0-255
PARAM_VALUE 0 args->flags 0,256-u64max
PARAM_VALUE 0 args->fn 0
PARAM_VALUE 0 args->fn_arg 0
PARAM_VALUE 0 args->idle 0
PARAM_VALUE 0 args->io_thread 0
PARAM_VALUE 0 args->kill_seq 0
PARAM_VALUE 0 args->kthread 0
PARAM_VALUE 0 args->name 0
PARAM_VALUE 0 args->no_files 0
PARAM_VALUE 0 args->set_tid 0
PARAM_VALUE 0 args->umh 0
USER_DATA 0 args->exit_signal 1-255[c]
USER_DATA 0 args->flags 0,256-u64max[c]
USER_DATA 0 args->stack 0-u64max
USER_DATA 0 args->tls 0-u64max