Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/migrate_device.c migrate_vma_collect_hole() -> migrate_vma_collect_skip()

Type Parameter Key Value
PARAM_VALUE 2 walk 934117422026317824,1279922888269873152,1310508832541999104,2012229525240504320,2343066501102768128,3052856833091633152,8961731423076499456
BUF_SIZE 2 walk->mm s32min-(-1),1-s32max
BUF_SIZE 2 walk->private (-1),4,8,16,24,40,56,64,128,152,216,8248
CAPPED_DATA 2 walk->vma 1
DATA_SOURCE 0 start $0
DATA_SOURCE 1 end $1
DATA_SOURCE 2 walk $3
NOSPEC 0 start
NOSPEC 1 end
NOSPEC 1 end
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 start 0-u64max[c]
USER_DATA 1 end 0-u64max[c]
USER_DATA 2 walk->private 4096-ptr_max[u]
NO_OVERFLOW_SIMPLE 2 walk->vma->vm_end
NO_OVERFLOW_SIMPLE 2 walk->vma->vm_pgoff
NO_OVERFLOW_SIMPLE 2 walk->vma->vm_start

mm/migrate_device.c migrate_vma_collect_hole() -> migrate_vma_collect_skip()

Type Parameter Key Value
PARAM_VALUE 2 walk 934117422026317824,1279922888269873152,1310508832541999104,2012229525240504320,2343066501102768128,3052856833091633152,8961731423076499456
PARAM_VALUE 2 walk->private 4096-ptr_max
BUF_SIZE 2 walk->mm s32min-(-1),1-s32max
BUF_SIZE 2 walk->private (-1),4,8,16,24,40,56,64,128,152,216,8248
CAPPED_DATA 2 walk->vma 1
DATA_SOURCE 1 end $1
DATA_SOURCE 2 walk $3
BIT_INFO 1 end 0x0,0xffffffffffe00000
BIT_INFO 1 end 0x0,0xffffffffffe00000
NOSPEC 1 end
NOSPEC 1 end
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 end 0-u64max[c]
USER_DATA 2 walk->private 4096-ptr_max[u]
NO_OVERFLOW_SIMPLE 2 walk->vma->vm_end
NO_OVERFLOW_SIMPLE 2 walk->vma->vm_pgoff
NO_OVERFLOW_SIMPLE 2 walk->vma->vm_start
UNITS 0 start unit_byte

mm/migrate_device.c migrate_vma_collect_huge_pmd() -> migrate_vma_collect_skip()

Type Parameter Key Value
PARAM_VALUE 1 end 0
PARAM_VALUE 2 walk 8264296691079806976
PARAM_VALUE 2 walk->private 4096-ptr_max
BUF_SIZE 2 walk->mm s32min-(-1),1-s32max
BUF_SIZE 2 walk->private (-1),4,8,16,24,56,64,128,152,216,8248
CAPPED_DATA 2 walk->vma 1
DATA_SOURCE 0 start $1
DATA_SOURCE 1 end $2
DATA_SOURCE 2 walk $3
NOSPEC 0 start
NOSPEC 0 start
NOSPEC 1 end
NOSPEC 1 end
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 start 0-u64max[c]
USER_DATA 1 end 0[c]
USER_DATA 2 walk->private 4096-ptr_max[u]
NO_OVERFLOW_SIMPLE 2 walk->vma->vm_end
NO_OVERFLOW_SIMPLE 2 walk->vma->vm_start
HALF_LOCKED2 &mm->mmap_lock

mm/migrate_device.c migrate_vma_collect_huge_pmd() -> migrate_vma_collect_skip()

Type Parameter Key Value
PARAM_VALUE 1 end 0
PARAM_VALUE 2 walk 8264296691079806976
PARAM_VALUE 2 walk->private 4096-ptr_max
BUF_SIZE 2 walk->mm s32min-(-1),1-s32max
BUF_SIZE 2 walk->private (-1),4,8,16,24,56,64,128,152,216,8248
CAPPED_DATA 2 walk->vma 1
DATA_SOURCE 0 start $1
DATA_SOURCE 1 end $2
DATA_SOURCE 2 walk $3
NOSPEC 0 start
NOSPEC 0 start
NOSPEC 1 end
NOSPEC 1 end
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 start 0-u64max[c]
USER_DATA 1 end 0[c]
USER_DATA 2 walk->private 4096-ptr_max[u]
NO_OVERFLOW_SIMPLE 2 walk->vma->vm_end
NO_OVERFLOW_SIMPLE 2 walk->vma->vm_start
HALF_LOCKED2 &mm->mmap_lock

mm/migrate_device.c migrate_vma_collect_huge_pmd() -> migrate_vma_collect_skip()

Type Parameter Key Value
PARAM_VALUE 1 end 0
PARAM_VALUE 2 walk 8264296691079806976
PARAM_VALUE 2 walk->private 4096-ptr_max
BUF_SIZE 2 walk->mm s32min-(-1),1-s32max
BUF_SIZE 2 walk->private (-1),4,8,16,24,56,64,128,152,216,8248
CAPPED_DATA 2 walk->vma 1
DATA_SOURCE 0 start $1
DATA_SOURCE 1 end $2
DATA_SOURCE 2 walk $3
NOSPEC 0 start
NOSPEC 0 start
NOSPEC 1 end
NOSPEC 1 end
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 start 0-u64max[c]
USER_DATA 1 end 0[c]
USER_DATA 2 walk->private 4096-ptr_max[u]
NO_OVERFLOW_SIMPLE 2 walk->vma->vm_end
NO_OVERFLOW_SIMPLE 2 walk->vma->vm_start
HALF_LOCKED2 &mm->mmap_lock

mm/migrate_device.c migrate_vma_collect_huge_pmd() -> migrate_vma_collect_skip()

Type Parameter Key Value
PARAM_VALUE 1 end 0
PARAM_VALUE 2 walk 8264296691079806976
PARAM_VALUE 2 walk->private 4096-ptr_max
BUF_SIZE 2 walk->mm s32min-(-1),1-s32max
BUF_SIZE 2 walk->private (-1),4,8,16,24,56,64,128,152,216,8248
CAPPED_DATA 2 walk->vma 1
DATA_SOURCE 0 start $1
DATA_SOURCE 1 end $2
DATA_SOURCE 2 walk $3
NOSPEC 0 start
NOSPEC 0 start
NOSPEC 1 end
NOSPEC 1 end
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 start 0-u64max[c]
USER_DATA 1 end 0[c]
USER_DATA 2 walk->private 4096-ptr_max[u]
NO_OVERFLOW_SIMPLE 2 walk->vma->vm_end
NO_OVERFLOW_SIMPLE 2 walk->vma->vm_start
HALF_LOCKED2 &mm->mmap_lock

mm/migrate_device.c migrate_vma_collect_huge_pmd() -> migrate_vma_collect_skip()

Type Parameter Key Value
PARAM_VALUE 1 end 0
PARAM_VALUE 2 walk 8264296691079806976
PARAM_VALUE 2 walk->private 4096-ptr_max
BUF_SIZE 2 walk->mm s32min-(-1),1-s32max
BUF_SIZE 2 walk->private (-1),4,8,16,24,56,64,128,152,216,8248
CAPPED_DATA 2 walk->vma 1
DATA_SOURCE 1 end $2
DATA_SOURCE 2 walk $3
NOSPEC 1 end
NOSPEC 1 end
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 end 0[c]
USER_DATA 2 walk->private 4096-ptr_max[u]
NO_OVERFLOW_SIMPLE 2 walk->vma->vm_end
NO_OVERFLOW_SIMPLE 2 walk->vma->vm_start
UNITS 0 start unit_byte
HALF_LOCKED2 &mm->mmap_lock

mm/migrate_device.c migrate_vma_collect_huge_pmd() -> migrate_vma_collect_skip()

Type Parameter Key Value
PARAM_VALUE 1 end 0
PARAM_VALUE 2 walk 8264296691079806976
PARAM_VALUE 2 walk->private 4096-ptr_max
BUF_SIZE 2 walk->mm s32min-(-1),1-s32max
BUF_SIZE 2 walk->private (-1),4,8,16,24,56,64,128,152,216,8248
CAPPED_DATA 2 walk->vma 1
DATA_SOURCE 0 start $1
DATA_SOURCE 1 end $2
DATA_SOURCE 2 walk $3
NOSPEC 0 start
NOSPEC 0 start
NOSPEC 1 end
NOSPEC 1 end
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 start 0-u64max[c]
USER_DATA 1 end 0[c]
USER_DATA 2 walk->private 4096-ptr_max[u]
NO_OVERFLOW_SIMPLE 2 walk->vma->vm_end
NO_OVERFLOW_SIMPLE 2 walk->vma->vm_start
HALF_LOCKED2 &mm->mmap_lock

mm/migrate_device.c migrate_vma_collect_pmd() -> migrate_vma_collect_skip()

Type Parameter Key Value
PARAM_VALUE 2 walk 1517340552196653056
PARAM_VALUE 2 walk->private 4096-ptr_max
BUF_SIZE 2 walk->mm s32min-(-1),1-s32max
BUF_SIZE 2 walk->private (-1),4,8,16,24,56,64,128,152,216,8248
CAPPED_DATA 2 walk->vma 1
DATA_SOURCE 1 end $2
DATA_SOURCE 2 walk $3
PARAM_COMPARE 0 start < $1
PARAM_COMPARE 0 start < $1
PARAM_COMPARE 1 end > $0
NOSPEC 0 start
NOSPEC 1 end
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 walk->private 4096-ptr_max[u]
NO_OVERFLOW_SIMPLE 2 walk->vma->vm_end
NO_OVERFLOW_SIMPLE 2 walk->vma->vm_start
UNITS 0 start unit_byte
UNITS 1 end unit_byte
HALF_LOCKED2 &mm->mmap_lock

mm/migrate_device.c migrate_vma_collect_pmd() -> migrate_vma_collect_skip()

Type Parameter Key Value
PARAM_VALUE 2 walk 1517340552196653056
PARAM_VALUE 2 walk->private 4096-ptr_max
BUF_SIZE 2 walk->mm s32min-(-1),1-s32max
BUF_SIZE 2 walk->private (-1),4,8,16,24,56,64,128,152,216,8248
CAPPED_DATA 2 walk->vma 1
DATA_SOURCE 1 end $2
DATA_SOURCE 2 walk $3
PARAM_COMPARE 0 start < $1
PARAM_COMPARE 0 start < $1
PARAM_COMPARE 1 end > $0
NOSPEC 0 start
NOSPEC 1 end
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 walk->private 4096-ptr_max[u]
NO_OVERFLOW_SIMPLE 2 walk->vma->vm_end
NO_OVERFLOW_SIMPLE 2 walk->vma->vm_start
UNITS 0 start unit_byte
UNITS 1 end unit_byte
HALF_LOCKED2 &mm->mmap_lock