Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
sound/core/pcm_lib.c __snd_pcm_lib_xfer() -> snd_pcm_avail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | substream | 4096-ptr_max |
| PARAM_VALUE | 0 | substream->runtime->control | 4096-ptr_max |
| CAPPED_DATA | 0 | substream | 1 |
| DATA_SOURCE | 0 | substream | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | substream->runtime->private_data->core.tc.cycle_last | s64min-s64max |
| HOST_DATA | 0 | substream->snapshot.cycles | s64min-s64max |
| USER_DATA | 0 | substream->runtime->no_period_wakeup | 0-1 |
| USER_DATA | 0 | substream->runtime->private_data->gus->gf1.dma_data_pcm_last->count | 33-4294967295[c] |
| USER_DATA | 0 | substream->runtime->private_data->gus->gf1.dma_data_pcm_last->next->count | 33-4294967295[c] |
| USER_DATA | 0 | substream->runtime->rate_den | 0-u32max |
| USER_DATA | 0 | substream->runtime->rate_num | 0-u32max |
| USER_DATA | 0 | substream->runtime->trigger_master->f_flags | 0-u32max |
| USER_DATA | 0 | *substream->runtime->oss.buffer | 0-255 |
| USER_PTR | 0 | substream->runtime->oss.buffer | |
| HALF_LOCKED2 | &runtime->oss.params_lock |
sound/core/pcm_lib.c snd_pcm_update_state() -> snd_pcm_avail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | substream | 4096-ptr_max |
| PARAM_VALUE | 0 | substream->runtime | 4096-ptr_max |
| PARAM_VALUE | 0 | substream->runtime->control | 4096-ptr_max |
| PARAM_VALUE | 0 | substream->stream | 0 |
| DATA_SOURCE | 0 | substream | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | substream->runtime->no_period_wakeup | 0-1 |
| USER_DATA | 0 | substream->runtime->rate_den | 0-u32max |
| USER_DATA | 0 | substream->runtime->rate_num | 0-u32max |
| USER_DATA | 0 | substream->runtime->trigger_master->f_flags | 0-u32max |
| USER_DATA | 0 | *substream->runtime->oss.buffer | 0-255 |
| USER_PTR | 0 | substream->runtime->oss.buffer |
sound/core/pcm_lib.c wait_for_avail() -> snd_pcm_avail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | substream | 4096-ptr_max |
| PARAM_VALUE | 0 | substream->runtime | 4096-ptr_max |
| DATA_SOURCE | 0 | substream | $0 |
sound/core/pcm_native.c snd_pcm_forward() -> snd_pcm_avail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | substream | 4096-ptr_max |
| CAPPED_DATA | 0 | substream | 1 |
| DATA_SOURCE | 0 | substream | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | substream->runtime->private_data->core.tc.cycle_last | s64min-s64max |
| HOST_DATA | 0 | substream->snapshot.cycles | s64min-s64max |
sound/core/pcm_native.c snd_pcm_poll() -> snd_pcm_avail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | substream | 4096-ptr_max |
| PARAM_VALUE | 0 | substream->runtime | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &kvm->irq_srcu | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &vm->irqfds_lock | ||
| HALF_LOCKED2 | global &irqfds_srcu |
sound/core/pcm_native.c snd_pcm_status64() -> snd_pcm_avail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | substream | 4096-ptr_max |
| BUF_SIZE | 0 | substream | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | substream | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | substream | 1 |
| DATA_SOURCE | 0 | substream | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | substream->runtime->private_data->core.tc.cycle_last | s64min-s64max |
| HOST_DATA | 0 | substream->snapshot.cycles | s64min-s64max |
| UNITS | 0 | substream | unit_byte |
| HALF_LOCKED2 | &seq->lock | ||
| HALF_LOCKED2 | _T->lock |