Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/gvt/kvmgt.c intel_gvt_dma_map_guest_page() -> gvt_dma_map_page()

Type Parameter Key Value
PARAM_VALUE 0 vgpu 4096-ptr_max
PARAM_VALUE 0 vgpu->cache_lock.dep_map->name 0-255
PARAM_VALUE 0 vgpu->cache_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 vgpu->cache_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 vgpu->cache_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 vgpu->cache_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 vgpu->cache_lock.wait_lock.owner (-1)
PARAM_VALUE 0 vgpu->cache_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 vgpu->gvt 4096-ptr_max
PARAM_VALUE 0 vgpu->gvt->gt->i915->drm.dev->dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 vgpu->gvt->gt->uncore->rpm->kdev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 vgpu->gvt->gtt.pte_ops->get_pfn 4096-ptr_max
PARAM_VALUE 0 vgpu->gvt->gtt.pte_ops->test_present 4096-ptr_max
PARAM_VALUE 0 vgpu->gvt->irq.irq_map->down_irq_bitmask 0-4294967295
PARAM_VALUE 0 vgpu->gvt->irq.irq_map->down_irq_group s32min-s32max
PARAM_VALUE 0 vgpu->gvt->irq.irq_map->up_irq_bit s32min-s32max
PARAM_VALUE 0 vgpu->gvt->irq.irq_map->up_irq_group s32min-s32max
PARAM_VALUE 0 vgpu->status 4096-ptr_max
PARAM_VALUE 0 *vgpu->hws_pga 0-4294967295
PARAM_VALUE 1 gfn 0-17179873278
PARAM_VALUE 2 dma_addr 3592337077646614528,4171922575496642560,8355279935766257664,8613432556790226944
PARAM_VALUE 3 size 4096,2097152
CAPPED_DATA 0 &vgpu->cache_lock 1
CAPPED_DATA 1 gfn 1
CAPPED_DATA 1 gfn 1
DATA_SOURCE 0 vgpu $0
DATA_SOURCE 1 gfn $1
DATA_SOURCE 2 dma_addr $3
DATA_SOURCE 3 size $2
HARD_MAX 3 size 2097152
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vgpu->gvt->gt->uncore->fifo_count 0-127,u32max
USER_DATA 0 vgpu->display.i2c_edid.current_edid_read 0-255[c]
USER_DATA 0 vgpu->display.i2c_edid.gmbus.cycle_type 0-7[c]
USER_DATA 0 vgpu->display.i2c_edid.gmbus.total_byte_count 0-511[c]
USER_DATA 1 gfn 0-17179873278[c]
UNITS 3 size unit_byte
LOCK2 0 &vgpu->cache_lock
HALF_LOCKED2 0 &vgpu->vgpu_lock
TYPE_LOCK (struct intel_vgpu)->cache_lock

drivers/gpu/drm/i915/gvt/kvmgt.c intel_gvt_dma_map_guest_page() -> gvt_dma_map_page()

Type Parameter Key Value
PARAM_VALUE 0 vgpu 4096-ptr_max
PARAM_VALUE 0 vgpu->cache_lock.dep_map->name 0-255
PARAM_VALUE 0 vgpu->cache_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 vgpu->cache_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 vgpu->cache_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 vgpu->cache_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 vgpu->cache_lock.wait_lock.owner (-1)
PARAM_VALUE 0 vgpu->cache_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 vgpu->dma_addr_cache.rb_node 4096-ptr_max
PARAM_VALUE 0 vgpu->gfn_cache.rb_node 4096-ptr_max
PARAM_VALUE 0 vgpu->gvt 4096-ptr_max
PARAM_VALUE 0 vgpu->gvt->gt 4096-ptr_max
PARAM_VALUE 0 vgpu->gvt->gt->i915 4096-ptr_max
PARAM_VALUE 0 vgpu->gvt->gt->i915->drm.dev->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vgpu->gvt->gt->i915->drm.dev->dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 vgpu->gvt->gt->uncore->rpm->kdev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 vgpu->gvt->gtt.pte_ops->get_pfn 4096-ptr_max
PARAM_VALUE 0 vgpu->gvt->gtt.pte_ops->test_present 4096-ptr_max
PARAM_VALUE 0 vgpu->gvt->irq.irq_map->down_irq_bitmask 0-4294967295
PARAM_VALUE 0 vgpu->gvt->irq.irq_map->down_irq_group s32min-s32max
PARAM_VALUE 0 vgpu->gvt->irq.irq_map->up_irq_bit s32min-s32max
PARAM_VALUE 0 vgpu->gvt->irq.irq_map->up_irq_group s32min-s32max
PARAM_VALUE 0 vgpu->status 4096-ptr_max
PARAM_VALUE 0 vgpu->vfio_device.group->container->iommu_data->lock.dep_map->name 0-255
PARAM_VALUE 0 vgpu->vfio_device.group->container->iommu_data->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 vgpu->vfio_device.group->container->iommu_data->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 vgpu->vfio_device.group->container->iommu_data->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 vgpu->vfio_device.iommufd_access->ioas_lock.dep_map->name 0-255
PARAM_VALUE 0 vgpu->vfio_device.iommufd_access->ioas_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 vgpu->vfio_device.iommufd_access->ioas_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 vgpu->vfio_device.iommufd_access->ioas_lock.first_waiter->task->blocked_on 0
PARAM_VALUE 0 vgpu->vfio_device.iommufd_access->ioas_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 vgpu->vfio_device.iommufd_access->ioas_unpin->iopt.iova_rwsem.dep_map->name 0-255
PARAM_VALUE 0 vgpu->vfio_device.iommufd_access->ioas_unpin->iopt.iova_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 *vgpu->hws_pga 0-4294967295
PARAM_VALUE 1 gfn 0-17179873278
PARAM_VALUE 2 dma_addr 3592337077646614528,4171922575496642560,8355279935766257664,8613432556790226944
PARAM_VALUE 3 size 4096,2097152
CAPPED_DATA 0 &vgpu->cache_lock 1
CAPPED_DATA 1 gfn 1
CAPPED_DATA 1 gfn 1
DATA_SOURCE 0 vgpu $0
DATA_SOURCE 1 gfn $1
DATA_SOURCE 2 dma_addr $3
DATA_SOURCE 3 size $2
HARD_MAX 3 size 2097152
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vgpu->gvt->gt->uncore->fifo_count 0-127,u32max
USER_DATA 0 vgpu->display.i2c_edid.current_edid_read 0-255[c]
USER_DATA 0 vgpu->display.i2c_edid.gmbus.cycle_type 0-7[c]
USER_DATA 0 vgpu->display.i2c_edid.gmbus.total_byte_count 0-511[c]
USER_DATA 1 gfn 0-17179873278[c]
UNITS 3 size unit_byte
LOCK2 0 &vgpu->cache_lock
HALF_LOCKED2 0 &vgpu->vgpu_lock
TYPE_LOCK (struct intel_vgpu)->cache_lock