Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/i915/gvt/kvmgt.c intel_gvt_dma_pin_guest_page() -> __gvt_cache_find_dma_addr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vgpu | 4096-ptr_max |
| PARAM_VALUE | 1 | dma_addr | 0,4096-u64max |
| CAPPED_DATA | 0 | &vgpu->cache_lock | 1 |
| DATA_SOURCE | 0 | vgpu | $0 |
| DATA_SOURCE | 1 | dma_addr | $1 |
| BIT_INFO | 1 | dma_addr | 0x0,0xfffffffffffff000 |
| BIT_INFO | 1 | dma_addr | 0x0,0xfffffffffffff000 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | dma_addr | 0,4096-u64max |
| LOCK2 | 0 | &vgpu->cache_lock | |
| HALF_LOCKED2 | obj->base.resv | ||
| TYPE_LOCK | (struct intel_vgpu)->cache_lock |
drivers/gpu/drm/i915/gvt/kvmgt.c intel_gvt_dma_unmap_guest_page() -> __gvt_cache_find_dma_addr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vgpu | 4096-ptr_max |
| CAPPED_DATA | 0 | &vgpu->cache_lock | 1 |
| DATA_SOURCE | 0 | vgpu | $0 |
| DATA_SOURCE | 1 | dma_addr | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | vgpu->gvt->gt->uncore->fifo_count | 0-127,u32max |
| HOST_DATA | 1 | dma_addr | 0,4096-70368744173568[c] |
| 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 | dma_addr | 4096-70368744173568[c] |
| NO_OVERFLOW_SIMPLE | 0 | vgpu->gvt->device_info.gtt_entry_size | |
| UNITS | 1 | dma_addr | unit_byte |
| LOCK2 | 0 | &vgpu->cache_lock | |
| HALF_LOCKED2 | 0 | &vgpu->vgpu_lock | |
| TYPE_LOCK | (struct intel_vgpu)->cache_lock |