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

Type Parameter Key Value
PARAM_VALUE 0 vgpu 4096-ptr_max
PARAM_VALUE 1 gfn 0-17179873278
CAPPED_DATA 0 &vgpu->cache_lock 1
DATA_SOURCE 0 vgpu $0
DATA_SOURCE 1 gfn $1
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]
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_vgpu_dma_unmap() -> __gvt_cache_find_gfn()

Type Parameter Key Value
PARAM_VALUE 0 vgpu 4096-ptr_max
CAPPED_DATA 0 &vgpu->cache_lock 1
CAPPED_DATA 1 gfn 1
CAPPED_DATA 1 gfn 1
RX_PATH
TASK_NOT_RUNNING
UNITS 1 gfn unit_page
LOCK2 0 &vgpu->cache_lock
HALF_LOCKED2 &iommu->device_list_lock
TYPE_LOCK (struct intel_vgpu)->cache_lock