Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
sound/core/seq/seq_memory.c snd_seq_event_dup() -> snd_seq_cell_alloc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| PARAM_VALUE | 0 | pool->total_elements | 1-s32max |
| PARAM_VALUE | 1 | cellp | 677805625894785024 |
| PARAM_VALUE | 2 | nonblock | 0-1 |
| PARAM_VALUE | 3 | file | 0,4096-ptr_max |
| PARAM_VALUE | 3 | file->f_op | 4096-ptr_max |
| PARAM_VALUE | 3 | file->f_op->write | 1-u64max |
| PARAM_VALUE | 3 | file->private_data | 1-u64max |
| PARAM_VALUE | 4 | mutexp | 0,4096-ptr_max |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 2 | nonblock | $3 |
| DATA_SOURCE | 3 | file | $4 |
| DATA_SOURCE | 4 | mutexp | $5 |
| FUZZY_MAX | 2 | nonblock | 1 |
| HARD_MAX | 2 | nonblock | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
sound/core/seq/seq_memory.c snd_seq_event_dup() -> snd_seq_cell_alloc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pool | 4096-ptr_max |
| PARAM_VALUE | 0 | pool->closing | 0 |
| PARAM_VALUE | 0 | pool->free->next | 0 |
| PARAM_VALUE | 0 | pool->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | pool->max_used | (-2147483647)-s32max |
| PARAM_VALUE | 0 | pool->ptr | 1-u64max |
| PARAM_VALUE | 0 | pool->total_elements | 1-s32max |
| PARAM_VALUE | 1 | cellp | 2016536629994737664 |
| PARAM_VALUE | 2 | nonblock | 0-1 |
| PARAM_VALUE | 3 | file | 0,4096-ptr_max |
| PARAM_VALUE | 3 | file->f_op | 4096-ptr_max |
| PARAM_VALUE | 3 | file->f_op->write | 1-u64max |
| PARAM_VALUE | 3 | file->private_data | 1-u64max |
| PARAM_VALUE | 4 | mutexp | 0,4096-ptr_max |
| DATA_SOURCE | 0 | pool | $0 |
| DATA_SOURCE | 2 | nonblock | $3 |
| DATA_SOURCE | 3 | file | $4 |
| DATA_SOURCE | 4 | mutexp | $5 |
| FUZZY_MAX | 2 | nonblock | 1 |
| HARD_MAX | 2 | nonblock | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |