Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/coredump.c do_coredump() -> coredump_write()

Type Parameter Key Value
PARAM_VALUE 0 cn 4037634672073293824
PARAM_VALUE 0 cn->core_dumped 0
PARAM_VALUE 0 cn->core_pipe_limit 0
PARAM_VALUE 0 cn->core_type 1-3
PARAM_VALUE 0 cn->corename 1-u64max
PARAM_VALUE 0 cn->mask 1,9
PARAM_VALUE 1 cprm 5928885399341355008
PARAM_VALUE 1 cprm->cpu 0
PARAM_VALUE 1 cprm->dumpable 1-u32max
PARAM_VALUE 1 cprm->file 0,4096-ptr_max
PARAM_VALUE 1 cprm->limit u64max
PARAM_VALUE 1 cprm->pid->attr 4096-ptr_max
PARAM_VALUE 1 cprm->pid->attr->coredump_code 0-4294967295
PARAM_VALUE 1 cprm->pid->attr->coredump_mask 1,3,5,9
PARAM_VALUE 1 cprm->pid->attr->coredump_signal 0-4294967295
PARAM_VALUE 1 cprm->pos 0
PARAM_VALUE 1 cprm->siginfo 205423189549002784,672443148911562784,6167043204661637152,7556018523812884512
PARAM_VALUE 1 cprm->to_skip 0
PARAM_VALUE 1 cprm->vma_count 0
PARAM_VALUE 1 cprm->vma_data_size 0
PARAM_VALUE 1 cprm->vma_meta 0
PARAM_VALUE 1 cprm->written 0
PARAM_VALUE 2 binfmt 4096-ptr_max
PARAM_VALUE 2 binfmt->core_dump 4096-ptr_max
PARAM_VALUE 2 binfmt->min_coredump 0,4096
DATA_SOURCE 0 cn $0
DATA_SOURCE 1 cprm $1
DATA_SOURCE 2 binfmt $4
BIT_INFO 0 cn->mask 0x1,0xb
TERMINATED 0 cn->corename 1
RX_PATH
TASK_NOT_RUNNING