Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/irq/msi.c __msi_domain_alloc_irq_at() -> msi_get_device_domain()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 domid 0
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 domid $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
LOCK2 &_T->lock->msi.data->mutex

kernel/irq/msi.c __msi_domain_alloc_locked() -> msi_get_device_domain()

Type Parameter Key Value
PARAM_VALUE 1 domid 0
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
LOCK2 &_T->lock->msi.data->mutex

kernel/irq/msi.c msi_create_device_irq_domain() -> msi_get_device_domain()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->msi.data 1-u64max
PARAM_VALUE 0 dev->msi.domain 4096-ptr_max
PARAM_VALUE 0 dev->msi.domain->flags 256-u32max
PARAM_VALUE 1 domid 0
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 domid $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
LOCK2 &_T->lock->msi.data->mutex

kernel/irq/msi.c msi_device_domain_alloc_wired() -> msi_get_device_domain()

Type Parameter Key Value
PARAM_VALUE 0 dev 1-u64max
PARAM_VALUE 1 domid 0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
LOCK2 &_T->lock->msi.data->mutex
HALF_LOCKED2 &rproc->lock

kernel/irq/msi.c msi_device_domain_free_wired() -> msi_get_device_domain()

Type Parameter Key Value
PARAM_VALUE 0 dev 1-u64max
PARAM_VALUE 1 domid 0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
LOCK2 &_T->lock->msi.data->mutex
HALF_LOCKED2 &chip->reg_lock
HALF_LOCKED2 &pctldev->mutex
HALF_LOCKED2 &rproc->lock
HALF_LOCKED2 &subsys->su_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &iio_evgen->lock
HALF_LOCKED2 global &kunit_run_lock

kernel/irq/msi.c msi_domain_free_locked() -> msi_get_device_domain()

Type Parameter Key Value
PARAM_VALUE 0 dev->cma_area->nranges s32min-s32max
PARAM_VALUE 1 domid 0
BUF_SIZE 0 dev (-1),1-s32max
BUF_SIZE 0 dev (-1),1-s32max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
LOCK2 &_T->lock->msi.data->mutex

kernel/irq/msi.c msi_domain_get_hwsize() -> msi_get_device_domain()

Type Parameter Key Value
PARAM_VALUE 0 dev->cma_area->nranges s32min-s32max
PARAM_VALUE 1 domid 0
BUF_SIZE 0 dev s32min,(-1),1-s32max
BUF_SIZE 0 dev s32min,(-1),1-s32max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 domid $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 dev->cma_area->available_count
UNITS 0 dev unit_byte
LOCK2 &_T->lock->msi.data->mutex

kernel/irq/msi.c msi_match_device_irq_domain() -> msi_get_device_domain()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 dev->msi.data 1-u64max
PARAM_VALUE 0 dev->msi.domain 4096-ptr_max
PARAM_VALUE 1 domid 0
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 domid $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &_T->lock->msi.data->mutex
HALF_LOCKED2 &pdev->dev.mutex

kernel/irq/msi.c msi_remove_device_irq_domain() -> msi_get_device_domain()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 domid 0
BUF_SIZE 0 dev s32min,(-1)-s32max
BUF_SIZE 0 dev s32min,(-1)-s32max
BUF_SIZE 0 dev->driver (-1),152
BUF_SIZE 0 dev->driver_data (-1),208
BUF_SIZE 0 dev->iommu (-1),192
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 domid $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 dev->flags 4096-u32max
NO_OVERFLOW_SIMPLE 0 dev->physical_location
NO_OVERFLOW_SIMPLE 0 dev->reg_map.max_size
UNITS 0 dev unit_byte
LOCK2 &_T->lock->msi.data->mutex
HALF_LOCKED2 0 &dev->mutex