set_remap_table_entry identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/iommu/amd/iommu.c, line 3347 (as a function)

Referenced in 1 files:

drivers/iommu/amd/iommu.c

Smatch caller information:

drivers/iommu/amd/iommu.c alloc_irq_table() -> set_remap_table_entry()

Type	Parameter	Key	Value
PARAM_VALUE	0	iommu	4096-ptr_max
PARAM_VALUE	0	iommu->dev	0,4096-ptr_max
PARAM_VALUE	0	iommu->pci_seg	4096-ptr_max
PARAM_VALUE	0	iommu->pci_seg->alias_table	4096-ptr_max
PARAM_VALUE	0	iommu->pci_seg->irq_lookup_table	4096-ptr_max
PARAM_VALUE	2	table	1-u64max
CAPPED_DATA	1	devid	1
DATA_SOURCE	0	iommu	$0
DATA_SOURCE	1	devid	$1
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		flags
LOCK2		global &iommu_table_lock
HALF_LOCKED2		&domain->root->mutex

drivers/iommu/amd/iommu.c alloc_irq_table() -> set_remap_table_entry()

Type	Parameter	Key	Value
PARAM_VALUE	0	iommu	4096-ptr_max
PARAM_VALUE	0	iommu->dev	0,4096-ptr_max
PARAM_VALUE	0	iommu->pci_seg	4096-ptr_max
PARAM_VALUE	0	iommu->pci_seg->alias_table	4096-ptr_max
PARAM_VALUE	0	iommu->pci_seg->irq_lookup_table	4096-ptr_max
PARAM_VALUE	2	table	1-u64max
CAPPED_DATA	1	devid	1
DATA_SOURCE	0	iommu	$0
DATA_SOURCE	1	devid	$1
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		flags
LOCK2		global &iommu_table_lock
HALF_LOCKED2		&domain->root->mutex

drivers/iommu/amd/iommu.c alloc_irq_table() -> set_remap_table_entry()

Type	Parameter	Key	Value
PARAM_VALUE	0	iommu	4096-ptr_max
PARAM_VALUE	0	iommu->dev	0,4096-ptr_max
PARAM_VALUE	0	iommu->pci_seg	4096-ptr_max
PARAM_VALUE	0	iommu->pci_seg->alias_table	4096-ptr_max
PARAM_VALUE	0	iommu->pci_seg->irq_lookup_table	4096-ptr_max
PARAM_VALUE	2	table	4096-ptr_max
BUF_SIZE	2	table	88
CAPPED_DATA	1	devid	1
DATA_SOURCE	0	iommu	$0
DATA_SOURCE	1	devid	$1
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		flags
LOCK2		global &iommu_table_lock
HALF_LOCKED2		&domain->root->mutex

drivers/iommu/amd/iommu.c alloc_irq_table() -> set_remap_table_entry()

Type	Parameter	Key	Value
PARAM_VALUE	0	iommu	4096-ptr_max
PARAM_VALUE	0	iommu->cmd_buf_tail	0-8191
PARAM_VALUE	0	iommu->dev	0,4096-ptr_max
PARAM_VALUE	0	iommu->lock.dep_map->name	0-255
PARAM_VALUE	0	iommu->lock.owner	(-1)
PARAM_VALUE	0	iommu->lock.owner_cpu	u32max
PARAM_VALUE	0	iommu->need_sync	1
PARAM_VALUE	0	iommu->pci_seg	4096-ptr_max
PARAM_VALUE	0	iommu->pci_seg->alias_table	4096-ptr_max
PARAM_VALUE	0	iommu->pci_seg->dev_table	1-u64max
PARAM_VALUE	0	iommu->pci_seg->irq_lookup_table	4096-ptr_max
PARAM_VALUE	0	*iommu->pci_seg->irq_lookup_table	4096-ptr_max
PARAM_VALUE	2	table	4096-ptr_max
BUF_SIZE	2	table	88
DATA_SOURCE	0	iommu	$0
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	iommu->acpi_flags	0-255
HOST_DATA	0	iommu->cap	0-u32max
HOST_DATA	0	iommu->cap_ptr	0-u16max
HOST_DATA	0	iommu->cmd_buf_head	0-u32max
HOST_DATA	0	iommu->cmd_buf_tail	0-8191
HOST_DATA	0	iommu->cmd_sem_paddr	0-u64max
HOST_DATA	0	iommu->cmd_sem_val	0-u64max
HOST_DATA	0	iommu->dbg_cap_offset	s32min-s32max
HOST_DATA	0	iommu->dbg_mmio_offset	s32min-s32max
HOST_DATA	0	iommu->devid	0-u16max
HOST_DATA	0	iommu->features	0-u64max
HOST_DATA	0	iommu->features2	0-u64max
HOST_DATA	0	iommu->flags	0-u32max
HOST_DATA	0	iommu->index	s32min-s32max
HOST_DATA	0	iommu->int_enabled	0-1
HOST_DATA	0	iommu->iommu.max_pasids	0-u32max
HOST_DATA	0	iommu->iommu.ready	0-1
HOST_DATA	0	iommu->irtcachedis_enabled	0-1
HOST_DATA	0	iommu->max_banks	0-255
HOST_DATA	0	iommu->max_counters	0-255
HOST_DATA	0	iommu->mmio_phys	0-u64max
HOST_DATA	0	iommu->mmio_phys_end	0-u64max
HOST_DATA	0	iommu->need_sync	1
HOST_DATA	0	iommu->stored_addr_hi	0-u32max
HOST_DATA	0	iommu->stored_addr_lo	0-u32max
HOST_DATA	0	*iommu	s64min-s64max
HOST_DATA	2	table->acpi_flags	0-255
HOST_DATA	2	table->cap	0-4294967295
HOST_DATA	2	table->cap_ptr	0-u16max
HOST_DATA	2	table->cmd_buf_head	0-4294967295
HOST_DATA	2	table->cmd_buf_tail	0-4294967295
HOST_DATA	2	table->cmd_sem_paddr	s64min-s64max
HOST_DATA	2	table->cmd_sem_val	s64min-s64max
HOST_DATA	2	table->dbg_cap_offset	s32min-s32max
HOST_DATA	2	table->dbg_mmio_offset	s32min-s32max
HOST_DATA	2	table->devid	0-u16max
HOST_DATA	2	table->features	s64min-s64max
HOST_DATA	2	table->features2	s64min-s64max
HOST_DATA	2	table->flags	0-4294967295
HOST_DATA	2	table->index	s32min-s32max
HOST_DATA	2	table->int_enabled	0-1
HOST_DATA	2	table->iommu.max_pasids	0-4294967295
HOST_DATA	2	table->iommu.ready	0-1
HOST_DATA	2	table->irtcachedis_enabled	0-1
HOST_DATA	2	table->lock.magic	0-u32max
HOST_DATA	2	table->lock.owner_cpu	0-u32max
HOST_DATA	2	table->lock.raw_lock.locked	0-255
HOST_DATA	2	table->lock.raw_lock.locked_pending	0-u16max
HOST_DATA	2	table->lock.raw_lock.pending	0-255
HOST_DATA	2	table->lock.raw_lock.tail	0-u16max
HOST_DATA	2	table->lock.raw_lock.val.counter	s32min-s32max
HOST_DATA	2	table->max_banks	0-255
HOST_DATA	2	table->max_counters	0-255
HOST_DATA	2	table->mmio_phys	s64min-s64max
HOST_DATA	2	table->mmio_phys_end	s64min-s64max
HOST_DATA	2	table->need_sync	0-1
HOST_DATA	2	table->stored_addr_hi	0-4294967295
HOST_DATA	2	table->stored_addr_lo	0-4294967295
HOST_DATA	2	*table	s64min-s64max
LOCK2		flags
LOCK2		global &iommu_table_lock
HALF_LOCKED2		&domain->root->mutex