Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/mremap.c expand_vma() -> vrm_set_new_addr()

Type Parameter Key Value
PARAM_VALUE 0 vrm 1221729225282519040
PARAM_VALUE 0 vrm->addr 0
PARAM_VALUE 0 vrm->charged 0
PARAM_VALUE 0 vrm->flags 1-6
PARAM_VALUE 0 vrm->mmap_locked 1
PARAM_VALUE 0 vrm->remap_type 3
PARAM_VALUE 0 vrm->uf 6688422495110127616
PARAM_VALUE 0 vrm->uf_unmap 6922569882902003712
PARAM_VALUE 0 vrm->uf_unmap_early 1097532445584617472
PARAM_VALUE 0 vrm->vma 4096-ptr_max
PARAM_VALUE 0 vrm->vmi_needs_invalidate 0
BUF_SIZE 0 vrm->uf 8
BUF_SIZE 0 vrm->uf_unmap 16
BUF_SIZE 0 vrm->uf_unmap_early 16
DATA_SOURCE 0 vrm $0
BIT_INFO 0 vrm->flags 0x1,0x7
NOSPEC 0 vrm->new_len
NOSPEC 0 vrm->old_len
USER_DATA 0 vrm->addr 0
USER_DATA 0 vrm->delta 1-u64max[c]
USER_DATA 0 vrm->flags 1-6
USER_DATA 0 vrm->new_addr 0-u64max
USER_DATA 0 vrm->new_len 0-u64max[c]
USER_DATA 0 vrm->old_len 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 vrm->vma->vm_end
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mremap.c mremap_to() -> vrm_set_new_addr()

Type Parameter Key Value
PARAM_VALUE 0 vrm 1221729225282519040
PARAM_VALUE 0 vrm->charged 0-4503599627370495
PARAM_VALUE 0 vrm->flags 2-6
PARAM_VALUE 0 vrm->mmap_locked 1
PARAM_VALUE 0 vrm->remap_type 1-3
PARAM_VALUE 0 vrm->uf 6688422495110127616
PARAM_VALUE 0 vrm->uf_unmap 6922569882902003712
PARAM_VALUE 0 vrm->uf_unmap->prev 4096-ptr_max
PARAM_VALUE 0 vrm->uf_unmap_early 1097532445584617472
PARAM_VALUE 0 vrm->vma 1-u64max
PARAM_VALUE 0 vrm->vma->vm_file->f_inode->i_mapping->invalidate_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 vrm->vma->vm_file->f_inode->i_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 0 vrm->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 vrm->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 vrm->vma->vm_file->f_mapping->invalidate_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 vrm->vma->vm_file->f_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 0 vrm->vma->vm_mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 vrm->vma->vm_mm->mmap_lock.first_waiter->type 0-1
BUF_SIZE 0 vrm->uf (-1),8
BUF_SIZE 0 vrm->uf_unmap (-1),16
BUF_SIZE 0 vrm->uf_unmap_early (-1),16
DATA_SOURCE 0 vrm $0
NOSPEC 0 vrm->delta
NOSPEC 0 vrm->new_len
NOSPEC 0 vrm->old_len
USER_DATA 0 vrm->addr 0-u64max
USER_DATA 0 vrm->charged 0-4503599627370495[c]
USER_DATA 0 vrm->delta 1-u64max[c]
USER_DATA 0 vrm->flags 2-6
USER_DATA 0 vrm->new_addr 0-u64max
USER_DATA 0 vrm->new_len 0-u64max[c]
USER_DATA 0 vrm->old_len 0-u64max[c]
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock