Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/gpu/drm/vmwgfx/vmwgfx_page_dirty.c vmw_bo_dirty_add() -> clean_record_shared_mapping_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | mapping->i_mmap_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mapping->i_mmap_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | mapping->i_mmap_rwsem.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | mapping->i_mmap_rwsem.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | nr | 512-4503599627370495 |
| PARAM_VALUE | 4 | bitmap | 4096-ptr_max |
| PARAM_VALUE | 5 | start | 4096-ptr_max |
| PARAM_VALUE | 5 | *start | 512-4503599627370495 |
| PARAM_VALUE | 6 | end | 4096-ptr_max |
| PARAM_VALUE | 6 | *end | 0 |
| BUF_SIZE | 4 | bitmap | 0-562949953421312 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/gpu/drm/vmwgfx/vmwgfx_page_dirty.c vmw_bo_dirty_pre_unmap() -> clean_record_shared_mapping_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | mapping->i_mmap_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mapping->i_mmap_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | mapping->i_mmap_rwsem.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | mapping->i_mmap_rwsem.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | nr | 1-9223372036854775807 |
| PARAM_VALUE | 4 | bitmap | 4096-ptr_max |
| PARAM_VALUE | 5 | start | 4096-ptr_max |
| PARAM_VALUE | 6 | end | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | first_index | unit_page |
| UNITS | 2 | nr | unit_page |
| UNITS | 3 | bitmap_pgoff | unit_page |
| HALF_LOCKED2 | &dev_priv->cmdbuf_mutex |
drivers/gpu/drm/vmwgfx/vmwgfx_page_dirty.c vmw_bo_dirty_scan_mkwrite() -> clean_record_shared_mapping_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mapping | 4096-ptr_max |
| PARAM_VALUE | 4 | bitmap | 4096-ptr_max |
| PARAM_VALUE | 5 | start | 3309332562082025472 |
| PARAM_VALUE | 5 | *start | 0 |
| PARAM_VALUE | 6 | end | 1263002167582699520 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | first_index | unit_page |
| UNITS | 3 | bitmap_pgoff | unit_page |
drivers/gpu/drm/vmwgfx/vmwgfx_page_dirty.c vmw_bo_dirty_scan_pagetable() -> clean_record_shared_mapping_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 4 | bitmap | 4096-ptr_max |
| PARAM_VALUE | 5 | start | 4096-ptr_max |
| PARAM_VALUE | 6 | end | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/gpu/drm/vmwgfx/vmwgfx_page_dirty.c vmw_bo_dirty_scan_pagetable() -> clean_record_shared_mapping_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | mapping->i_mmap_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mapping->i_mmap_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | mapping->i_mmap_rwsem.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | mapping->i_mmap_rwsem.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 4 | bitmap | 4096-ptr_max |
| PARAM_VALUE | 5 | start | 4096-ptr_max |
| PARAM_VALUE | 6 | end | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |