Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/intel/irq_remapping.c intel_irq_remapping_alloc() -> intel_free_irq_resources()

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
PARAM_VALUE 0 domain->host_data 4096-ptr_max
PARAM_VALUE 0 domain->ops 4096-ptr_max
PARAM_VALUE 0 domain->ops->alloc 1-u64max
PARAM_VALUE 0 domain->parent 4096-ptr_max
PARAM_VALUE 2 nr_irqs 0-65534
BUF_SIZE 0 domain (-1),376-s32max
BUF_SIZE 0 domain (-1),376-s32max
CAPPED_DATA 0 domain 1
CAPPED_DATA 2 nr_irqs 1
DATA_SOURCE 0 domain $0
DATA_SOURCE 1 virq $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 virq 0-2147483902[c]
NO_OVERFLOW_SIMPLE 2 nr_irqs
UNITS 1 virq unit_array_size
UNITS 2 nr_irqs unit_array_size
HALF_LOCKED2 0 &domain->root->mutex

drivers/iommu/intel/irq_remapping.c intel_irq_remapping_free() -> intel_free_irq_resources()

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
PARAM_VALUE 0 domain->ops 4096-ptr_max
PARAM_VALUE 0 domain->ops->free 1-u64max
PARAM_VALUE 1 virq 0
PARAM_VALUE 2 nr_irqs 1
BUF_SIZE 0 domain (-1),376-s32max
BUF_SIZE 0 domain (-1),376-s32max
CAPPED_DATA 0 domain 1
DATA_SOURCE 0 domain $0
DATA_SOURCE 1 virq $1
DATA_SOURCE 2 nr_irqs $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &domain->root->mutex