Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/iommu/iommufd/viommu.c iommufd_hw_queue_alloc_ioctl() -> (struct iommufd_viommu_ops)->get_hw_queue_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | viommu | 4096-ptr_max |
| PARAM_VALUE | 0 | viommu->ops | 6302400248089378816,7940446243532496896 |
| PARAM_VALUE | 0 | viommu->ops->get_hw_queue_size | 5489148227411189760 |
| PARAM_VALUE | 0 | viommu->ops->hw_queue_init_phys | 8594683886847950848 |
| PARAM_VALUE | 1 | queue_type | 1-u32max |
| DATA_SOURCE | 0 | viommu | r iommufd_get_viommu |
| CONTAINER | 0 | -40-40+0 | $(-1) |
| USER_DATA | 1 | queue_type | 1-u32max[u] |