Open Menu /

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 dst_vma 4096-ptr_max
PARAM_VALUE 0 dst_vma->vm_mm->vma_writer_wait.task->__state 0-4294967295
PARAM_VALUE 0 dst_vma->vm_mm->vma_writer_wait.task->dl.pi_se->dl_defer 0-1
PARAM_VALUE 0 dst_vma->vm_mm->vma_writer_wait.task->dl.pi_se->dl_defer_armed 0-1
PARAM_VALUE 0 dst_vma->vm_mm->vma_writer_wait.task->dl.pi_se->dl_defer_running 0-1
PARAM_VALUE 0 dst_vma->vm_mm->vma_writer_wait.task->dl.pi_se->dl_non_contending 0-1
PARAM_VALUE 0 dst_vma->vm_mm->vma_writer_wait.task->dl.pi_se->dl_overrun 0-1
PARAM_VALUE 0 dst_vma->vm_mm->vma_writer_wait.task->dl.pi_se->dl_server 0-1
PARAM_VALUE 0 dst_vma->vm_mm->vma_writer_wait.task->dl.pi_se->dl_throttled 0-1
PARAM_VALUE 0 dst_vma->vm_mm->vma_writer_wait.task->dl.pi_se->dl_yielded 0-1
PARAM_VALUE 0 dst_vma->vm_mm->vma_writer_wait.task->dl.pi_se->flags 0-4294967295
PARAM_VALUE 0 dst_vma->vm_mm->vma_writer_wait.task->is_blocked 0-255
PARAM_VALUE 0 dst_vma->vm_mm->vma_writer_wait.task->mm->mm_cid.irq_work.node.a_flags.counter s32min-s32max
PARAM_VALUE 0 dst_vma->vm_mm->vma_writer_wait.task->mm->mm_cid.max_cids 0-4294967295
PARAM_VALUE 0 dst_vma->vm_mm->vma_writer_wait.task->mm->mm_cid.pcpu_thrs 0-4294967295
PARAM_VALUE 0 dst_vma->vm_mm->vma_writer_wait.task->mm->mm_cid.update_deferred 0-4294967295
PARAM_VALUE 0 dst_vma->vm_mm->vma_writer_wait.task->on_rq 0-255
PARAM_VALUE 0 dst_vma->vm_mm->vma_writer_wait.task->rseq.event.ids_changed 0-255
PARAM_VALUE 0 dst_vma->vm_mm->vma_writer_wait.task->saved_state 0-4294967295
PARAM_VALUE 0 dst_vma->vm_mm->vma_writer_wait.task->sched_migrated 0-1
PARAM_VALUE 0 dst_vma->vm_mm->vma_writer_wait.task->se.rel_deadline 0-255
PARAM_VALUE 0 dst_vma->vm_mm->vma_writer_wait.task->wake_cpu s32min-s32max
PARAM_VALUE 0 dst_vma->vm_refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 src_vma 4096-ptr_max
PARAM_VALUE 1 src_vma->vm_mm->vma_writer_wait.task->sched_class->uclamp_enabled 0-1
PARAM_VALUE 1 src_vma->vm_refcnt.refs.counter (-1073741824),0-s32max
NOCHECK_CALL