Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

sound/core/memalloc.c snd_dma_continuous_alloc() -> do_alloc_pages()

Type Parameter Key Value
PARAM_VALUE 0 dev->cma_area->available_count 0-s64max
PARAM_VALUE 0 dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 2 addr 4096-ptr_max
PARAM_VALUE 3 wc 0
DATA_SOURCE 1 size $1
NOSPEC 1 size
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 size 0,4096-12884905984[c]
USER_DATA 1 size 0,4096-4294967296[c]
NO_OVERFLOW_SIMPLE 0 dev->cma_area->available_count
NO_OVERFLOW_SIMPLE 2 *addr
UNITS 0 dev unit_byte

sound/core/memalloc.c snd_dma_sg_fallback_alloc() -> do_alloc_pages()

Type Parameter Key Value
PARAM_VALUE 0 dev->cma_area->available_count 0-s64max
PARAM_VALUE 0 dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 dev->iommu_group->default_domain 0-s64max
PARAM_VALUE 0 dev->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 dev->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 dev->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 2 addr 4869225508178116608
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
NOSPEC 1 size
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 size 0,4096-12884905984[c]
USER_DATA 1 size 0,4096-4294967296[c]
NO_OVERFLOW_SIMPLE 0 dev->cma_area->available_count
UNITS 0 dev unit_byte
UNITS 1 size unit_byte

sound/core/memalloc.c snd_dma_wc_alloc() -> do_alloc_pages()

Type Parameter Key Value
PARAM_VALUE 0 dev->cma_area->available_count 0-s64max
PARAM_VALUE 0 dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 2 addr 4096-ptr_max
PARAM_VALUE 3 wc 1
DATA_SOURCE 1 size $1
NOSPEC 1 size
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 size 0,4096-12884905984[c]
USER_DATA 1 size 0,4096-4294967296[c]
NO_OVERFLOW_SIMPLE 0 dev->cma_area->available_count
NO_OVERFLOW_SIMPLE 2 *addr
UNITS 0 dev unit_byte

sound/core/pcm_memory.c preallocate_pcm_pages() -> do_alloc_pages()

Type Parameter Key Value
PARAM_VALUE 4 size 1-u64max
PARAM_VALUE 5 dmab 4096-ptr_max
BUF_SIZE 5 dmab 56
DATA_SOURCE 4 size $1 [m]
FUZZY_MAX 4 size 131072
RX_PATH
TASK_NOT_RUNNING
UNITS 4 size unit_byte

sound/core/pcm_memory.c snd_pcm_lib_malloc_pages() -> do_alloc_pages()

Type Parameter Key Value
PARAM_VALUE 1 size s32min-(-1),1-s32max
PARAM_VALUE 4 size 0-4294971391
PARAM_VALUE 5 dmab 4096-ptr_max
PARAM_VALUE 5 dmab->dev.type s32min-(-1),1-s32max
BUF_SIZE 5 dmab 56
DATA_SOURCE 4 size $1
DATA_SOURCE 5 dmab r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
UNITS 2 addr unit_byte
UNITS 4 size unit_byte
HALF_LOCKED2 &runtime->buffer_mutex
HALF_LOCKED2 _T->lock

sound/core/pcm_memory.c snd_pcm_lib_preallocate_proc_write() -> do_alloc_pages()

Type Parameter Key Value
PARAM_VALUE 4 size 8192-u64max
PARAM_VALUE 5 dmab 5027882067402018816
CAPPED_DATA 4 size 1
CAPPED_DATA 4 size 1
FUZZY_MAX 4 size 8192
MEM_ZERO 5 dmab
RX_PATH
TASK_NOT_RUNNING
USER_DATA 4 size 8192-s32max[c]
NO_OVERFLOW_SIMPLE 4 size
UNITS 2 addr unit_byte
UNITS 4 size unit_byte
LOCK2 _T->lock