Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
lib/test_hmm.c dmirror_device_evict_chunk() -> is_device_coherent_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 1-u64max |
| DATA_SOURCE | 0 | page | r migrate_pfn_to_page |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mdevice->devmem_lock |
lib/test_hmm.c dmirror_devmem_fault_alloc_and_copy() -> is_device_coherent_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 1-u64max |
| DATA_SOURCE | 0 | page | r migrate_pfn_to_page |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mm->mmap_lock |
lib/test_hmm.c dmirror_mkentry() -> is_device_coherent_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| DATA_SOURCE | 0 | page | r hmm_pfn_to_page |
| LOCK2 | &dmirror->mutex | ||
| TYPE_LOCK | (struct dmirror)->mutex |
drivers/gpu/drm/drm_gpusvm.c drm_gpusvm_get_pages() -> is_device_coherent_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| DATA_SOURCE | 0 | page | r hmm_pfn_to_page |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &gpusvm->notifier_lock | ||
| TYPE_LOCK | (struct drm_gpusvm)->notifier_lock |
drivers/gpu/drm/drm_gpusvm.c drm_gpusvm_scan_mm() -> is_device_coherent_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| DATA_SOURCE | 0 | page | r hmm_pfn_to_page |
| LOCK2 | &(range->gpusvm)->notifier_lock | ||
| HALF_LOCKED2 | &range->lock |
mm/migrate_device.c migrate_vma_collect_pmd() -> is_device_coherent_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| DATA_SOURCE | 0 | page | r vm_normal_page |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |