Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
sound/core/seq/seq_clientmgr.c snd_seq_read() -> snd_seq_fifo_cell_putback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | f | 4096-ptr_max |
| PARAM_VALUE | 0 | f->head->next | 0 |
| PARAM_VALUE | 0 | f->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | f->overflow.counter | s32min-0 |
| PARAM_VALUE | 1 | cell | 1-u64max |
| PARAM_VALUE | 1 | cell->event->data.ext.ptr | 0-255 |
| PARAM_VALUE | 1 | cell->next | 0 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | &cell->event |