Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/coredump.c do_coredump() -> coredump_parse()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cn | 4037634672073293824 |
| PARAM_VALUE | 1 | cprm | 5928885399341355008 |
| PARAM_VALUE | 1 | cprm->cpu | 0 |
| PARAM_VALUE | 1 | cprm->dumpable | 1-u32max |
| PARAM_VALUE | 1 | cprm->file | 0 |
| PARAM_VALUE | 1 | cprm->pid | 0 |
| 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 | argv | 6846420317433544704 |
| PARAM_VALUE | 2 | *argv | 0 |
| PARAM_VALUE | 2 | *(*argv) | 0 |
| PARAM_VALUE | 3 | argc | 6524080302413279232 |
| PARAM_VALUE | 3 | *argc | 0 |
| DATA_SOURCE | 0 | cn | $0 |
| DATA_SOURCE | 1 | cprm | $1 |
| DATA_SOURCE | 2 | argv | $2 |
| DATA_SOURCE | 3 | argc | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING |