Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/fork.c dup_task_struct() -> dup_user_cpus_ptr()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 0 dst->exec_state 0
PARAM_VALUE 0 dst->seccomp.filter 0
PARAM_VALUE 0 dst->stack 4096-ptr_max
PARAM_VALUE 0 dst->stack_canary 0,256-u64max
PARAM_VALUE 0 dst->stack_refcount.refs.counter 1
PARAM_VALUE 0 dst->stack_vm_area 4096-ptr_max
PARAM_VALUE 0 dst->stack_vm_area->nr_pages 8
PARAM_VALUE 0 dst->stack_vm_area->pages 4096-ptr_max
PARAM_VALUE 0 *dst->stack 1470918301
PARAM_VALUE 1 src 4096-ptr_max
BUF_SIZE 0 dst->cpus_ptr (-1),1024
CAPPED_DATA 2 node 1
DATA_SOURCE 0 dst r alloc_task_struct_node
DATA_SOURCE 1 src $0
DATA_SOURCE 2 node $1 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL