Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/dma-iommu.c iova_reserve_iommu_regions() -> cookie_init_hw_msi_region()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
PARAM_VALUE 0 cookie->iovad.anchor.node.__rb_parent_color 1
PARAM_VALUE 0 cookie->iovad.anchor.node.rb_left 4096-ptr_max
PARAM_VALUE 0 cookie->iovad.anchor.node.rb_right 4096-ptr_max
PARAM_VALUE 0 cookie->iovad.anchor.pfn_hi u64max
PARAM_VALUE 0 cookie->iovad.anchor.pfn_lo u64max
PARAM_VALUE 0 cookie->iovad.cached32_node 4096-ptr_max
PARAM_VALUE 0 cookie->iovad.cached_node 4096-ptr_max
PARAM_VALUE 0 cookie->iovad.cpuhp_dead.pprev 4096-ptr_max
PARAM_VALUE 0 cookie->iovad.granule 0-4096
PARAM_VALUE 0 cookie->iovad.rbroot.rb_node 0,4096-ptr_max
PARAM_VALUE 0 cookie->iovad.rcaches 4096-ptr_max
PARAM_VALUE 0 cookie->options.fq_size 256,32768
PARAM_VALUE 0 cookie->options.fq_timeout 10,1000
PARAM_VALUE 0 cookie->options.qt 0-1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 start unit_byte
UNITS 2 end unit_byte
LOCK2 &group->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &iommu_probe_device_lock
TYPE_LOCK (struct iommu_group)->mutex