Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/migrate_device.c migrate_device_pages() -> __migrate_device_pages()

Type Parameter Key Value
PARAM_VALUE 0 src_pfns 0,16,4096-ptr_max
PARAM_VALUE 1 dst_pfns 0,16,4096-ptr_max
PARAM_VALUE 2 npages 0-4503599627370496
PARAM_VALUE 3 migrate 0
BUF_SIZE 0 src_pfns (-1),8,40
BUF_SIZE 0 src_pfns (-1),8,40
BUF_SIZE 1 dst_pfns (-1),8
BUF_SIZE 1 dst_pfns (-1),8
CAPPED_DATA 2 npages 1
CAPPED_DATA 2 npages 1
DATA_SOURCE 0 src_pfns $0
DATA_SOURCE 1 dst_pfns $1
DATA_SOURCE 2 npages $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 npages
HALF_LOCKED2 &drm->dmem->mutex

mm/migrate_device.c migrate_vma_pages() -> __migrate_device_pages()

Type Parameter Key Value
PARAM_VALUE 0 src_pfns 0,16,4096-ptr_max
PARAM_VALUE 1 dst_pfns 0,16,4096-ptr_max
PARAM_VALUE 2 npages 0
PARAM_VALUE 3 migrate 4096-ptr_max
PARAM_VALUE 3 migrate->dst 0,16,4096-ptr_max
PARAM_VALUE 3 migrate->fault_page 0,4096-ptr_max
PARAM_VALUE 3 migrate->flags 0-2,4,8-u32max
PARAM_VALUE 3 migrate->npages 0
PARAM_VALUE 3 migrate->src 0,16,4096-ptr_max
PARAM_VALUE 3 migrate->vma 4096-ptr_max
BUF_SIZE 0 src_pfns 8,32,40
CAPPED_DATA 3 migrate->end 1
DATA_SOURCE 3 migrate $0
NOSPEC 3 migrate->end
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 migrate->end 0,4096-s32max[c]
NO_OVERFLOW_SIMPLE 3 migrate->start
UNITS 1 dst_pfns unit_page
UNITS 2 npages 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