Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/xe/xe_migrate.c xe_migrate_access_memory() -> xe_migrate_dma_unmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xe | 4096-ptr_max |
| PARAM_VALUE | 0 | xe->drm.dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 1 | pagemap_addr | 4096-ptr_max |
| BUF_SIZE | 1 | pagemap_addr | s32min-s32max |
| DATA_SOURCE | 1 | pagemap_addr | r xe_migrate_dma_map |
| DATA_SOURCE | 3 | write | $5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | len | 2-8191[c] |
| HALF_LOCKED2 | ttm_bo->base.resv |
drivers/gpu/drm/xe/xe_migrate.c xe_migrate_dma_map() -> xe_migrate_dma_unmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xe | 4096-ptr_max |
| PARAM_VALUE | 1 | pagemap_addr | 16,4096-ptr_max |
| BUF_SIZE | 1 | pagemap_addr | 0-u64max |
| DATA_SOURCE | 0 | xe | $0 |
| DATA_SOURCE | 1 | pagemap_addr | r _kzalloc_noprof |
| DATA_SOURCE | 2 | len | $2 |
| DATA_SOURCE | 3 | write | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | len | 2-8191[c] |
| HALF_LOCKED2 | ttm_bo->base.resv |