Open Menu /

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)->hw_queue_init_phys()

Type Parameter Key Value
PARAM_VALUE 0 hw_queue 4096-ptr_max
PARAM_VALUE 0 hw_queue->access 4096-ptr_max
PARAM_VALUE 0 hw_queue->access->ioas 4096-ptr_max
PARAM_VALUE 0 hw_queue->access->ioas_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 hw_queue->access->ioas_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hw_queue->access->ioas_unpin 0,4096-ptr_max
PARAM_VALUE 0 hw_queue->access->iova_alignment 4096
PARAM_VALUE 0 hw_queue->length 1-u64max
PARAM_VALUE 0 hw_queue->type 3735928559
PARAM_VALUE 0 hw_queue->users.refs.counter 1
PARAM_VALUE 0 hw_queue->viommu 4096-ptr_max
PARAM_VALUE 0 hw_queue->viommu->ops 6302400248089378816,7940446243532496896
PARAM_VALUE 0 hw_queue->wait_cnt.refs.counter 1
BUF_SIZE 0 hw_queue 0,48,56,80,88,224,280,432,448,512,752
BUF_SIZE 0 hw_queue 0,48,56,80,88,224,280,432,448,512,752
DATA_SOURCE 0 hw_queue r _iommufd_object_alloc_ucmd
USER_DATA 0 hw_queue->base_addr 0-u64max[u]
USER_DATA 0 hw_queue->length 1-u64max[u]
USER_DATA 0 hw_queue->type 3735928559[u]
USER_DATA 1 index 0-u32max[u]