Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/iommu/intel/dmar.c dmar_parse_one_drhd() -> alloc_iommu()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->devices 0,4096-ptr_max
PARAM_VALUE 0 dev->devices_cnt 0-s32max
PARAM_VALUE 0 dev->hdr->length 1-u16max
PARAM_VALUE 0 dev->hdr->type 0-6
BUF_SIZE 0 dev 65-65599
BUF_SIZE 0 dev 65-65599
BUF_SIZE 0 dev->devices (-1),16-s32max
DATA_SOURCE 0 dev r _kzalloc_noprof
POWER_OF_TWO 0 *dev
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 dev->devices_cnt
HALF_LOCKED2 global &dmar_global_lock

arch/x86/kernel/amd_gart_64.c __dma_map_cont() -> alloc_iommu()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cma_area->available_count 0-s64max
PARAM_VALUE 0 dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->dma_mask 4096-ptr_max
PARAM_VALUE 0 dev->dma_parms 0,4096-ptr_max
PARAM_VALUE 0 dev->flags 4096-ptr_max
PARAM_VALUE 0 dev->iommu_group->default_domain 0-s64max
PARAM_VALUE 0 dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 2 align_mask 0
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 size $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 size 2-1048578[c]
NO_OVERFLOW_SIMPLE 0 dev->cma_area->available_count

arch/x86/kernel/amd_gart_64.c dma_map_area() -> alloc_iommu()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cma_area->available_count 0-s64max
PARAM_VALUE 0 dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->flags 4096-ptr_max
PARAM_VALUE 0 dev->power.wakeirq->status 0-4294967295
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
CAPPED_DATA 0 dev->cma_area->nranges 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 size r iommu_num_pages
DATA_SOURCE 2 align_mask $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 size 1-3145730[c]
USER_DATA 1 size 1-1048577[c]
NO_OVERFLOW_SIMPLE 0 dev->cma_area->available_count