Defined in 2 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/coredump.c do_coredump() -> coredump_socket()
| 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 | 3-4 |
| 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 |
| 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 |
| DATA_SOURCE | 0 | cn | $0 |
| DATA_SOURCE | 1 | cprm | $1 |
| TERMINATED | 0 | cn->corename | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |