Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/amd/iommu.c alloc_irq_index() -> (struct amd_irte_ops)->is_allocated()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 0 table->lock.dep_map->name 0-255
PARAM_VALUE 0 table->lock.owner_cpu 0
PARAM_VALUE 0 table->lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 1 index 0-s32max
BUF_SIZE 0 table (-1),88
BUF_SIZE 0 table (-1),88
CAPPED_DATA 1 index 1
DATA_SOURCE 0 table r alloc_irq_table
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 table->acpi_flags 0-255
HOST_DATA 0 table->cap 0-4294967295
HOST_DATA 0 table->cap_ptr 0-u16max
HOST_DATA 0 table->cmd_buf_head 0-4294967295
HOST_DATA 0 table->cmd_buf_tail 0-4294967295
HOST_DATA 0 table->cmd_sem_paddr s64min-s64max
HOST_DATA 0 table->cmd_sem_val s64min-s64max
HOST_DATA 0 table->dbg_cap_offset s32min-s32max
HOST_DATA 0 table->dbg_mmio_offset s32min-s32max
HOST_DATA 0 table->devid 0-u16max
HOST_DATA 0 table->features s64min-s64max
HOST_DATA 0 table->features2 s64min-s64max
HOST_DATA 0 table->flags 0-4294967295
HOST_DATA 0 table->index s32min-s32max
HOST_DATA 0 table->int_enabled 0-1
HOST_DATA 0 table->iommu.max_pasids 0-4294967295
HOST_DATA 0 table->iommu.ready 0-1
HOST_DATA 0 table->irtcachedis_enabled 0-1
HOST_DATA 0 table->max_banks 0-255
HOST_DATA 0 table->max_counters 0-255
HOST_DATA 0 table->mmio_phys s64min-s64max
HOST_DATA 0 table->mmio_phys_end s64min-s64max
HOST_DATA 0 table->need_sync 0-1
HOST_DATA 0 table->stored_addr_hi 0-4294967295
HOST_DATA 0 table->stored_addr_lo 0-4294967295
HOST_DATA 0 *table s64min-s64max
LOCK2 flags
LOCK2 0 &table->lock
HALF_LOCKED2 &domain->root->mutex
TYPE_LOCK (struct irq_remap_table)->lock