Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/userfaultfd.c move_pages() -> move_pages_ptes()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 0 mm->mm_users.counter 0-s32max
PARAM_VALUE 0 mm->mmap_lock.dep_map->name 0-255
PARAM_VALUE 0 mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mm->mmap_lock.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 mm->mmap_lock.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 0 mm->page_table_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mm->task_size 1-u64max
PARAM_VALUE 1 dst_pmd 4096-ptr_max
PARAM_VALUE 2 src_pmd 4096-ptr_max
PARAM_VALUE 3 dst_vma 4096-ptr_max
PARAM_VALUE 3 dst_vma->vm_mm->vma_writer_wait.task->__state 0-4294967295
PARAM_VALUE 3 dst_vma->vm_mm->vma_writer_wait.task->dl.pi_se->dl_defer 0-1
PARAM_VALUE 3 dst_vma->vm_mm->vma_writer_wait.task->dl.pi_se->dl_defer_armed 0-1
PARAM_VALUE 3 dst_vma->vm_mm->vma_writer_wait.task->dl.pi_se->dl_defer_running 0-1
PARAM_VALUE 3 dst_vma->vm_mm->vma_writer_wait.task->dl.pi_se->dl_non_contending 0-1
PARAM_VALUE 3 dst_vma->vm_mm->vma_writer_wait.task->dl.pi_se->dl_overrun 0-1
PARAM_VALUE 3 dst_vma->vm_mm->vma_writer_wait.task->dl.pi_se->dl_server 0-1
PARAM_VALUE 3 dst_vma->vm_mm->vma_writer_wait.task->dl.pi_se->dl_throttled 0-1
PARAM_VALUE 3 dst_vma->vm_mm->vma_writer_wait.task->dl.pi_se->dl_yielded 0-1
PARAM_VALUE 3 dst_vma->vm_mm->vma_writer_wait.task->dl.pi_se->flags 0-4294967295
PARAM_VALUE 3 dst_vma->vm_mm->vma_writer_wait.task->is_blocked 0-255
PARAM_VALUE 3 dst_vma->vm_mm->vma_writer_wait.task->mm->mm_cid.irq_work.node.a_flags.counter s32min-s32max
PARAM_VALUE 3 dst_vma->vm_mm->vma_writer_wait.task->mm->mm_cid.max_cids 0-4294967295
PARAM_VALUE 3 dst_vma->vm_mm->vma_writer_wait.task->mm->mm_cid.pcpu_thrs 0-4294967295
PARAM_VALUE 3 dst_vma->vm_mm->vma_writer_wait.task->mm->mm_cid.update_deferred 0-4294967295
PARAM_VALUE 3 dst_vma->vm_mm->vma_writer_wait.task->on_rq 0-255
PARAM_VALUE 3 dst_vma->vm_mm->vma_writer_wait.task->rseq.event.ids_changed 0-255
PARAM_VALUE 3 dst_vma->vm_mm->vma_writer_wait.task->saved_state 0-4294967295
PARAM_VALUE 3 dst_vma->vm_mm->vma_writer_wait.task->sched_migrated 0-1
PARAM_VALUE 3 dst_vma->vm_mm->vma_writer_wait.task->se.rel_deadline 0-255
PARAM_VALUE 3 dst_vma->vm_mm->vma_writer_wait.task->wake_cpu s32min-s32max
PARAM_VALUE 3 dst_vma->vm_ops 0
PARAM_VALUE 3 dst_vma->vm_refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 4 src_vma 4096-ptr_max
PARAM_VALUE 4 src_vma->vm_mm->vma_writer_wait.task->sched_class->uclamp_enabled 0-1
PARAM_VALUE 4 src_vma->vm_ops 0
PARAM_VALUE 4 src_vma->vm_refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 6 src_addr 0-18446744073709551614
PARAM_VALUE 7 len 1-u64max
PARAM_VALUE 8 mode 0-2
CAPPED_DATA 0 mm 1
CAPPED_DATA 3 dst_vma->vm_userfaultfd_ctx.ctx 1
CAPPED_DATA 6 src_addr 1
CAPPED_DATA 6 src_addr 1
CAPPED_DATA 7 len 1
DATA_SOURCE 1 dst_pmd r mm_alloc_pmd
DATA_SOURCE 8 mode $4
PARAM_COMPARE 6 src_addr < $4->vm_end
PARAM_COMPARE 6 src_addr < $4->vm_end
BIT_INFO 3 dst_vma->vm_flags 0x0,0xfffffffffffffff7
BIT_INFO 4 src_vma->vm_flags 0x0,0xfffffffffffffff7
NOSPEC 5 dst_addr
NOSPEC 6 src_addr
USER_DATA 5 dst_addr 0-18446744073709551614[c]
USER_DATA 6 src_addr 0-s32max[c]
USER_DATA 7 len 1-9223372036854775807[c]
USER_DATA 8 mode 0-2
NO_OVERFLOW_SIMPLE 5 dst_addr
NO_OVERFLOW_SIMPLE 6 src_addr
UNITS 0 mm unit_byte
UNITS 5 dst_addr unit_byte
UNITS 6 src_addr unit_byte
UNITS 7 len unit_byte
LOCK2 &ctx->map_changing_lock
TYPE_LOCK (struct userfaultfd_ctx)->map_changing_lock