Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/migrate_device.c migrate_device_coherent_folio() -> migrate_device_unmap()

Type Parameter Key Value
PARAM_VALUE 0 src_pfns 8134737195505827840
PARAM_VALUE 0 *src_pfns 3,67-18446744073709551555
PARAM_VALUE 1 npages 1
PARAM_VALUE 2 fault_page 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/migrate_device.c migrate_device_pfns() -> migrate_device_unmap()

Type Parameter Key Value
PARAM_VALUE 0 src_pfns 16,4096-ptr_max
PARAM_VALUE 1 npages 0-4503599627370495
PARAM_VALUE 2 fault_page 0
BUF_SIZE 0 src_pfns 40
BUF_SIZE 0 src_pfns 40
CAPPED_DATA 1 npages 1
CAPPED_DATA 1 npages 1
DATA_SOURCE 0 src_pfns $0
DATA_SOURCE 1 npages $1
FUZZY_MAX 1 npages 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 npages
UNITS 1 npages unit_page
HALF_LOCKED2 ttm_bo->base.resv

mm/migrate_device.c migrate_device_range() -> migrate_device_unmap()

Type Parameter Key Value
PARAM_VALUE 0 src_pfns 0,16,4096-ptr_max
PARAM_VALUE 1 npages 0-4503599627370496
PARAM_VALUE 2 fault_page 0
BUF_SIZE 0 src_pfns 8
CAPPED_DATA 1 npages 1
CAPPED_DATA 1 npages 1
DATA_SOURCE 0 src_pfns $0
DATA_SOURCE 1 npages $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 npages
HALF_LOCKED2 &drm->dmem->mutex

mm/migrate_device.c migrate_vma_unmap() -> migrate_device_unmap()

Type Parameter Key Value
PARAM_VALUE 0 src_pfns 1-u64max
PARAM_VALUE 1 npages 0
PARAM_VALUE 2 fault_page 0,4096-ptr_max
BUF_SIZE 0 src_pfns 8,32,40
MEM_ZERO 0 src_pfns
RX_PATH
TASK_NOT_RUNNING
UNITS 1 npages unit_page
UNITS 2 fault_page unit_page
HALF_LOCKED2 &driver_migrate_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &prange->migrate_mutex
HALF_LOCKED2 &svms->lock
HALF_LOCKED2 &vm->lock
HALF_LOCKED2 global &drm_unplug_srcu