riscv_iommu_cmd_sync identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/iommu/riscv/iommu.c, line 499 (as a function)

Referenced in 1 files:

drivers/iommu/riscv/iommu.c

Smatch caller information:

drivers/iommu/riscv/iommu.c riscv_iommu_bond_unlink() -> riscv_iommu_cmd_sync()

Type	Parameter	Key	Value
PARAM_VALUE	1	timeout_us	90000000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/iommu/riscv/iommu.c riscv_iommu_iodir_set_mode() -> riscv_iommu_cmd_sync()

Type	Parameter	Key	Value
PARAM_VALUE	0	iommu	4096-ptr_max
PARAM_VALUE	0	iommu->cmdq.iommu->cmdq.irq	0
PARAM_VALUE	0	iommu->cmdq.iommu->fltq.irq	0
PARAM_VALUE	0	iommu->cmdq.qbr	0,24,40
PARAM_VALUE	0	iommu->cmdq.qcr	0,72,76
PARAM_VALUE	0	iommu->cmdq.qid	0-1
PARAM_VALUE	0	iommu->ddt_mode	0,4
PARAM_VALUE	0	iommu->fltq.iommu->cmdq.irq	0
PARAM_VALUE	0	iommu->fltq.iommu->fltq.irq	0
PARAM_VALUE	0	iommu->fltq.qbr	0,24,40
PARAM_VALUE	0	iommu->fltq.qcr	0,72,76
PARAM_VALUE	0	iommu->fltq.qid	0-1
PARAM_VALUE	0	iommu->iommu.ops->blocked_domain	0,532766077614051328,1309262597071863808,3360818763908841472,5161617956659249152,5314750282517213184,6300359532015144960
PARAM_VALUE	0	iommu->iommu.ops->capable	0,462993810217750528,1218212999370723328,2068158786969784320,4814261608348082176,5273877608991895552,6378217523337945088
PARAM_VALUE	0	iommu->iommu.ops->def_domain_type	0,757924381194936320,3094419801163452416,5117618908541267968,5322346410050064384
PARAM_VALUE	0	iommu->iommu.ops->default_domain	0,5314750282517213184
PARAM_VALUE	0	iommu->iommu.ops->device_group	0,4096-ptr_max
PARAM_VALUE	0	iommu->iommu.ops->domain_alloc_identity	0,1824181410664046592
PARAM_VALUE	0	iommu->iommu.ops->domain_alloc_nested	0,3787243451007922176,5587605712304230400
PARAM_VALUE	0	iommu->iommu.ops->domain_alloc_paging	0,4096-ptr_max
PARAM_VALUE	0	iommu->iommu.ops->domain_alloc_paging_flags	0,5681659404854812672,8509805123710701568,8930407207250460672,8966249347349827584
PARAM_VALUE	0	iommu->iommu.ops->domain_alloc_sva	0,701458021798502400,7542271727435345920
PARAM_VALUE	0	iommu->iommu.ops->get_resv_regions	0,1505888117193461760,1796066543583182848,4029229782243753984,4300132076315938816,5136130486519664640,5287335354533576704,8650506204712415232
PARAM_VALUE	0	iommu->iommu.ops->get_viommu_size	0,890856020400304128,8808264738914050048
PARAM_VALUE	0	iommu->iommu.ops->hw_info	0,4734748057756364800,6417568837149130752,7401392304513224704
PARAM_VALUE	0	iommu->iommu.ops->identity_domain	0,4096-ptr_max
PARAM_VALUE	0	iommu->iommu.ops->is_attach_deferred	0,5818038523887214592,7788280626033360896
PARAM_VALUE	0	iommu->iommu.ops->of_xlate	0,4096-ptr_max
PARAM_VALUE	0	iommu->iommu.ops->owner	0
PARAM_VALUE	0	iommu->iommu.ops->page_response	0,6092340583743537152,6863561957491752960,7827827559097483264
PARAM_VALUE	0	iommu->iommu.ops->probe_device	0,4096-ptr_max
PARAM_VALUE	0	iommu->iommu.ops->probe_finalize	0,4224741400359067648,6516402457225019392,8434375612550443008,8539622431235026944
PARAM_VALUE	0	iommu->iommu.ops->release_device	0,4096-ptr_max
PARAM_VALUE	0	iommu->iommu.ops->release_domain	0,109353748397924352,532766077614051328,3360818763908841472,5161617956659249152,8123815121812471808
PARAM_VALUE	0	iommu->iommu.ops->viommu_init	0,3877766920581869568,5010379558565462016
PARAM_VALUE	0	iommu->irqs_count	0-s32max
PARAM_VALUE	1	timeout_us	90000000
BUF_SIZE	0	iommu	s32min-(-2),1-s32max
BUF_SIZE	0	iommu	s32min-(-2),1-s32max
BUF_SIZE	0	iommu->dev	(-1),1616
CAPPED_DATA	0	iommu->ddt_mode	1
DATA_SOURCE	0	iommu	$0
FUZZY_MAX	0	iommu->irqs_count	4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	iommu->caps	0-u64max
HOST_DATA	0	iommu->cmdq.head.counter	s32min-s32max
HOST_DATA	0	iommu->cmdq.iommu->caps	0-u64max
HOST_DATA	0	iommu->cmdq.iommu->cmdq.head.counter	s32min-s32max
HOST_DATA	0	iommu->cmdq.iommu->cmdq.irq	0
HOST_DATA	0	iommu->cmdq.iommu->cmdq.mask	1-u32max
HOST_DATA	0	iommu->cmdq.iommu->cmdq.prod.counter	s32min-s32max
HOST_DATA	0	iommu->cmdq.iommu->cmdq.tail.counter	s32min-s32max
HOST_DATA	0	iommu->cmdq.iommu->ddt_mode	0,4
HOST_DATA	0	iommu->cmdq.iommu->ddt_phys	0-u64max
HOST_DATA	0	iommu->cmdq.iommu->fctl	0-u32max
HOST_DATA	0	iommu->cmdq.iommu->fltq.head.counter	s32min-s32max
HOST_DATA	0	iommu->cmdq.iommu->fltq.irq	0
HOST_DATA	0	iommu->cmdq.iommu->fltq.mask	1-u32max
HOST_DATA	0	iommu->cmdq.iommu->fltq.prod.counter	s32min-s32max
HOST_DATA	0	iommu->cmdq.iommu->fltq.tail.counter	s32min-s32max
HOST_DATA	0	iommu->cmdq.iommu->icvec	0-u32max
HOST_DATA	0	iommu->cmdq.iommu->iommu.max_pasids	0-u32max
HOST_DATA	0	iommu->cmdq.iommu->iommu.ready	0-1
HOST_DATA	0	iommu->cmdq.irq	0-u32max
HOST_DATA	0	iommu->cmdq.mask	1-u32max
HOST_DATA	0	iommu->cmdq.phys	0,4096-72057594037923840[c]
HOST_DATA	0	iommu->cmdq.prod.counter	s32min-s32max
HOST_DATA	0	iommu->cmdq.qbr	24
HOST_DATA	0	iommu->cmdq.qcr	72
HOST_DATA	0	iommu->cmdq.qid	0
HOST_DATA	0	iommu->cmdq.tail.counter	s32min-s32max
HOST_DATA	0	iommu->ddt_phys	0-u64max
HOST_DATA	0	iommu->fctl	0-u32max
HOST_DATA	0	iommu->fltq.head.counter	s32min-s32max
HOST_DATA	0	iommu->fltq.iommu->caps	0-u64max
HOST_DATA	0	iommu->fltq.iommu->cmdq.head.counter	s32min-s32max
HOST_DATA	0	iommu->fltq.iommu->cmdq.irq	0
HOST_DATA	0	iommu->fltq.iommu->cmdq.mask	1-u32max
HOST_DATA	0	iommu->fltq.iommu->cmdq.prod.counter	s32min-s32max
HOST_DATA	0	iommu->fltq.iommu->cmdq.tail.counter	s32min-s32max
HOST_DATA	0	iommu->fltq.iommu->ddt_mode	0,4
HOST_DATA	0	iommu->fltq.iommu->ddt_phys	0-u64max
HOST_DATA	0	iommu->fltq.iommu->fctl	0-u32max
HOST_DATA	0	iommu->fltq.iommu->fltq.head.counter	s32min-s32max
HOST_DATA	0	iommu->fltq.iommu->fltq.irq	0
HOST_DATA	0	iommu->fltq.iommu->fltq.mask	1-u32max
HOST_DATA	0	iommu->fltq.iommu->fltq.prod.counter	s32min-s32max
HOST_DATA	0	iommu->fltq.iommu->fltq.tail.counter	s32min-s32max
HOST_DATA	0	iommu->fltq.iommu->icvec	0-u32max
HOST_DATA	0	iommu->fltq.iommu->iommu.max_pasids	0-u32max
HOST_DATA	0	iommu->fltq.iommu->iommu.ready	0-1
HOST_DATA	0	iommu->fltq.irq	0-u32max
HOST_DATA	0	iommu->fltq.mask	4095
HOST_DATA	0	iommu->fltq.prod.counter	s32min-s32max
HOST_DATA	0	iommu->fltq.qbr	40
HOST_DATA	0	iommu->fltq.qcr	76
HOST_DATA	0	iommu->fltq.qid	1
HOST_DATA	0	iommu->fltq.tail.counter	s32min-s32max
HOST_DATA	0	iommu->icvec	0-u32max
HOST_DATA	0	iommu->iommu.max_pasids	0-u32max
HOST_DATA	0	iommu->iommu.ready	0-1
HOST_DATA	0	iommu->irqs_count	1-s32max[c]
UNITS	0	iommu	unit_byte

drivers/iommu/riscv/iommu.c riscv_iommu_iodir_update() -> riscv_iommu_cmd_sync()

Type	Parameter	Key	Value
PARAM_VALUE	0	iommu	4096-ptr_max
PARAM_VALUE	0	iommu->ddt_mode	0,4
PARAM_VALUE	1	timeout_us	90000000
DATA_SOURCE	0	iommu	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/iommu/riscv/iommu.c riscv_iommu_iodir_update() -> riscv_iommu_cmd_sync()

Type	Parameter	Key	Value
PARAM_VALUE	1	timeout_us	90000000
DATA_SOURCE	0	iommu	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/iommu/riscv/iommu.c riscv_iommu_iotlb_inval() -> riscv_iommu_cmd_sync()

Type	Parameter	Key	Value
PARAM_VALUE	1	timeout_us	90000000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		rcu_read