Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
sound/synth/util_mem.c snd_util_mem_free() -> __snd_util_mem_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdr | 1-u64max |
| PARAM_VALUE | 1 | blk | 1-u64max |
| DATA_SOURCE | 0 | hdr | $0 |
| DATA_SOURCE | 1 | blk | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &runtime->buffer_mutex | ||
| HALF_LOCKED2 | &sflist->presets_mutex |
sound/pci/trident/trident_memory.c snd_trident_alloc_cont_pages() -> __snd_util_mem_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | hdr->block_extra_size | (-24)-3999976 |
| PARAM_VALUE | 1 | blk | 4096-ptr_max |
| PARAM_VALUE | 1 | blk->list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | blk->list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | blk->offset | 0,4096-4294963200 |
| PARAM_VALUE | 1 | blk->size | 4096-16777216 |
| BUF_SIZE | 1 | blk | 24-s32max |
| BUF_SIZE | 1 | blk | 24-s32max |
| CAPPED_DATA | 1 | blk->size | 1 |
| DATA_SOURCE | 1 | blk | r search_empty |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &runtime->buffer_mutex | ||
| LOCK2 | _T->lock | ||
| TYPE_LOCK | (struct snd_pcm_runtime)->buffer_mutex |
sound/pci/trident/trident_memory.c snd_trident_alloc_sg_pages() -> __snd_util_mem_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | hdr->block_extra_size | (-24)-3999976 |
| PARAM_VALUE | 1 | blk | 4096-ptr_max |
| PARAM_VALUE | 1 | blk->list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | blk->list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | blk->offset | 0,4096-4294963200 |
| PARAM_VALUE | 1 | blk->size | 4096-16777216 |
| BUF_SIZE | 1 | blk | 24-s32max |
| BUF_SIZE | 1 | blk | 24-s32max |
| CAPPED_DATA | 1 | blk->size | 1 |
| DATA_SOURCE | 1 | blk | r search_empty |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &runtime->buffer_mutex | ||
| LOCK2 | _T->lock | ||
| TYPE_LOCK | (struct snd_pcm_runtime)->buffer_mutex |
sound/pci/trident/trident_memory.c snd_trident_free_pages() -> __snd_util_mem_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | blk | 4096-ptr_max |
| DATA_SOURCE | 1 | blk | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &runtime->buffer_mutex |
sound/pci/emu10k1/memory.c snd_emu10k1_alloc_pages() -> __snd_util_mem_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | blk | 4096-ptr_max |
| BUF_SIZE | 1 | blk | 24-s32max |
| BUF_SIZE | 1 | blk | 24-s32max |
| CAPPED_DATA | 1 | blk->last_page | 1 |
| CAPPED_DATA | 1 | blk->pages | 1 |
| CAPPED_DATA | 1 | blk->size | 1 |
| DATA_SOURCE | 1 | blk | r search_empty |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &runtime->buffer_mutex | ||
| LOCK2 | _T->lock | ||
| TYPE_LOCK | (struct snd_pcm_runtime)->buffer_mutex |
sound/pci/emu10k1/memory.c snd_emu10k1_synth_alloc() -> __snd_util_mem_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | hdr->block_extra_size | (-24)-3999976 |
| PARAM_VALUE | 0 | hdr->size | 1-u32max |
| PARAM_VALUE | 1 | blk | 4096-ptr_max |
| BUF_SIZE | 1 | blk | 24-s32max |
| BUF_SIZE | 1 | blk | 24-s32max |
| CAPPED_DATA | 0 | hdr->size | 1 |
| CAPPED_DATA | 1 | blk->size | 1 |
| DATA_SOURCE | 1 | blk | r __snd_util_mem_alloc |
| NOCHECK_CALL | |||
| LOCK2 | &sflist->presets_mutex | ||
| LOCK2 | _T->lock | ||
| TYPE_LOCK | (struct snd_sf_list)->presets_mutex |
sound/pci/emu10k1/memory.c snd_emu10k1_synth_free() -> __snd_util_mem_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | blk | 4096-ptr_max |
| PARAM_VALUE | 1 | blk->mapped_page | s32min-(-1) |
| BUF_SIZE | 1 | blk | (-1),24-s32max |
| BUF_SIZE | 1 | blk | (-1),24-s32max |
| DATA_SOURCE | 1 | blk | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &sflist->presets_mutex |