Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/mremap.c move_page_tables() -> move_pgt_entry()

Type Parameter Key Value
PARAM_VALUE 0 pmc 1016061542086041600,7617151382977015808,8578329982637838336
PARAM_VALUE 0 pmc->len_in 1-u64max
PARAM_VALUE 0 pmc->new 1-u64max
PARAM_VALUE 0 pmc->old 4096-ptr_max
PARAM_VALUE 0 pmc->old->flags.__vma_flags 4096-ptr_max
PARAM_VALUE 0 pmc->old->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 pmc->old->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 pmc->old->vm_mm 4096-ptr_max
PARAM_VALUE 0 pmc->old->vm_mm->page_table_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pmc->old_addr 0-18446744073709551614
PARAM_VALUE 0 pmc->old_end 1-u64max
PARAM_VALUE 1 entry 3
PARAM_VALUE 2 old_entry 4096-ptr_max
PARAM_VALUE 3 new_entry 4096-ptr_max
CAPPED_DATA 0 pmc->len_in 1
CAPPED_DATA 0 pmc->old_addr 1
CAPPED_DATA 0 pmc->old_end 1
DATA_SOURCE 0 pmc $0
DATA_SOURCE 2 old_entry r get_old_pud
DATA_SOURCE 3 new_entry r alloc_new_pud
PARAM_COMPARE 0 pmc->old_addr < $0->old_end
NOSPEC 0 pmc->len_in
NOSPEC 0 pmc->old_addr
NOCHECK_CALL
USER_DATA 0 pmc->len_in 1-u64max[c]
USER_DATA 0 pmc->new_addr 0-u64max
USER_DATA 0 pmc->old_addr 0-18446744073709551614[c]
LOCK2 &mm->mmap_lock
HALF_LOCKED2 &tsk->signal->exec_update_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mremap.c move_page_tables() -> move_pgt_entry()

Type Parameter Key Value
PARAM_VALUE 0 pmc 1016061542086041600,7617151382977015808,8578329982637838336
PARAM_VALUE 0 pmc->len_in 1-u64max
PARAM_VALUE 0 pmc->new 1-u64max
PARAM_VALUE 0 pmc->old 4096-ptr_max
PARAM_VALUE 0 pmc->old->flags.__vma_flags 4096-ptr_max
PARAM_VALUE 0 pmc->old->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 pmc->old->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 pmc->old->vm_mm 4096-ptr_max
PARAM_VALUE 0 pmc->old->vm_mm->page_table_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pmc->old_addr 0-18446744073709551614
PARAM_VALUE 0 pmc->old_end 1-u64max
PARAM_VALUE 1 entry 2
PARAM_VALUE 2 old_entry 4096-ptr_max
PARAM_VALUE 3 new_entry 4096-ptr_max
CAPPED_DATA 0 pmc->len_in 1
CAPPED_DATA 0 pmc->old_addr 1
CAPPED_DATA 0 pmc->old_end 1
DATA_SOURCE 0 pmc $0
DATA_SOURCE 2 old_entry r get_old_pud
DATA_SOURCE 3 new_entry r alloc_new_pud
PARAM_COMPARE 0 pmc->old_addr < $0->old_end
NOSPEC 0 pmc->len_in
NOSPEC 0 pmc->old_addr
USER_DATA 0 pmc->len_in 1-u64max[c]
USER_DATA 0 pmc->new_addr 0-u64max
USER_DATA 0 pmc->old_addr 0-18446744073709551614[c]
LOCK2 &mm->mmap_lock
HALF_LOCKED2 &tsk->signal->exec_update_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mremap.c move_page_tables() -> move_pgt_entry()

Type Parameter Key Value
PARAM_VALUE 0 pmc 1016061542086041600,7617151382977015808,8578329982637838336
PARAM_VALUE 0 pmc->len_in 1-u64max
PARAM_VALUE 0 pmc->new 1-u64max
PARAM_VALUE 0 pmc->old 4096-ptr_max
PARAM_VALUE 0 pmc->old->flags.__vma_flags 4096-ptr_max
PARAM_VALUE 0 pmc->old->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 pmc->old->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 pmc->old->vm_mm 4096-ptr_max
PARAM_VALUE 0 pmc->old->vm_mm->page_table_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pmc->old_addr 0-18446744073709551614
PARAM_VALUE 0 pmc->old_end 1-u64max
PARAM_VALUE 1 entry 1
PARAM_VALUE 2 old_entry 4096-ptr_max
PARAM_VALUE 3 new_entry 4096-ptr_max
CAPPED_DATA 0 pmc->len_in 1
CAPPED_DATA 0 pmc->old_addr 1
CAPPED_DATA 0 pmc->old_end 1
DATA_SOURCE 0 pmc $0
DATA_SOURCE 2 old_entry r get_old_pmd
DATA_SOURCE 3 new_entry r alloc_new_pmd
PARAM_COMPARE 0 pmc->old_addr < $0->old_end
NOSPEC 0 pmc->len_in
NOSPEC 0 pmc->old_addr
USER_DATA 0 pmc->len_in 1-u64max[c]
USER_DATA 0 pmc->new_addr 0-u64max
USER_DATA 0 pmc->old_addr 0-18446744073709551614[c]
LOCK2 &mm->mmap_lock
HALF_LOCKED2 &tsk->signal->exec_update_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mremap.c move_page_tables() -> move_pgt_entry()

Type Parameter Key Value
PARAM_VALUE 0 pmc 1016061542086041600,7617151382977015808,8578329982637838336
PARAM_VALUE 0 pmc->len_in 1-u64max
PARAM_VALUE 0 pmc->new 1-u64max
PARAM_VALUE 0 pmc->old 4096-ptr_max
PARAM_VALUE 0 pmc->old->flags.__vma_flags 4096-ptr_max
PARAM_VALUE 0 pmc->old->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 pmc->old->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 pmc->old->vm_mm 4096-ptr_max
PARAM_VALUE 0 pmc->old->vm_mm->page_table_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pmc->old_addr 0-18446744073709551614
PARAM_VALUE 0 pmc->old_end 1-u64max
PARAM_VALUE 1 entry 0
PARAM_VALUE 2 old_entry 4096-ptr_max
PARAM_VALUE 3 new_entry 4096-ptr_max
CAPPED_DATA 0 pmc->len_in 1
CAPPED_DATA 0 pmc->old_addr 1
CAPPED_DATA 0 pmc->old_end 1
DATA_SOURCE 0 pmc $0
DATA_SOURCE 2 old_entry r get_old_pmd
DATA_SOURCE 3 new_entry r alloc_new_pmd
PARAM_COMPARE 0 pmc->old_addr < $0->old_end
NOSPEC 0 pmc->len_in
NOSPEC 0 pmc->old_addr
USER_DATA 0 pmc->len_in 1-u64max[c]
USER_DATA 0 pmc->new_addr 0-u64max
USER_DATA 0 pmc->old_addr 0-18446744073709551614[c]
LOCK2 &mm->mmap_lock
HALF_LOCKED2 &tsk->signal->exec_update_lock
TYPE_LOCK (struct mm_struct)->mmap_lock