Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/ttm/ttm_bo_util.c ttm_bo_move_memcpy() -> ttm_kmap_iter_linear_io_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bdev | 4096-ptr_max |
| PARAM_VALUE | 2 | mem | 4096-ptr_max |
| DATA_SOURCE | 2 | mem | $2 |
| NOSPEC | 2 | mem->size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | mem->bo->base.size | 0-u64max[c] |
| USER_DATA | 2 | mem->bo->base.vma_node.vm_node.size | 1-s32max[c] |
| USER_DATA | 2 | mem->bo->base.vma_node.vm_node.start | 0-s32max[c] |
| USER_DATA | 2 | mem->bo->page_alignment | 0-u32max |
| USER_DATA | 2 | mem->size | 0-u64max[c] |
| NO_OVERFLOW_SIMPLE | 2 | mem->start |
drivers/gpu/drm/ttm/ttm_bo_util.c ttm_bo_move_memcpy() -> ttm_kmap_iter_linear_io_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bdev | 4096-ptr_max |
| PARAM_VALUE | 1 | bdev->dev_mapping->i_mmap_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | bdev->dev_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | bdev->dev_mapping->i_mmap_rwsem.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 1 | bdev->dev_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | mem | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 2 | mem->size | |
| NO_OVERFLOW_SIMPLE | 2 | mem->start |