Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/memory.c __wp_page_copy_user() -> update_mmu_tlb()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 1 address 0,4096-u64max
PARAM_VALUE 2 ptep 4096-ptr_max
BUF_SIZE 0 vma (-1),4,24,64,168-s32max
BUF_SIZE 0 vma (-1),4,24,64,168-s32max
CAPPED_DATA 1 address 1
CAPPED_DATA 1 address 1
DATA_SOURCE 2 ptep r pte_offset_map_lock
NOSPEC 1 address
NOSPEC 1 address
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 address 0,4096-u64max[c]
NO_OVERFLOW_SIMPLE 0 vma->vm_pgoff
UNITS 1 address unit_byte
LOCK2 vmf->ptl
HALF_LOCKED2 &mm->mmap_lock

mm/memory.c do_anonymous_page() -> update_mmu_tlb()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 1 address 0,4096-u64max
PARAM_VALUE 2 ptep 4096-ptr_max
BUF_SIZE 0 vma (-1),1-s32max
BUF_SIZE 0 vma (-1),1-s32max
CAPPED_DATA 1 address 1
CAPPED_DATA 1 address 1
DATA_SOURCE 2 ptep r pte_offset_map_lock
BIT_INFO 0 vma->vm_flags 0x0,0xfffffffffffffff7
NOSPEC 1 address
NOSPEC 1 address
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 address 0,4096-u64max[c]
NO_OVERFLOW_SIMPLE 0 vma->vm_pgoff
UNITS 1 address unit_byte
LOCK2 vmf->ptl
HALF_LOCKED2 &mm->mmap_lock

mm/memory.c do_anonymous_page() -> update_mmu_tlb()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 2 ptep 4096-ptr_max
BUF_SIZE 0 vma (-1),1-s32max
BUF_SIZE 0 vma (-1),1-s32max
CAPPED_DATA 1 address 1
CAPPED_DATA 1 address 1
DATA_SOURCE 2 ptep r pte_offset_map_lock
BIT_INFO 0 vma->vm_flags 0x0,0xfffffffffffffff7
NOSPEC 1 address
NOSPEC 1 address
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 address 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 vma->vm_pgoff
UNITS 1 address unit_byte
LOCK2 vmf->ptl
HALF_LOCKED2 &mm->mmap_lock

mm/memory.c finish_fault() -> update_mmu_tlb()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 2 ptep 4096-ptr_max
BUF_SIZE 0 vma (-1),4,24,64,168-s32max
BUF_SIZE 0 vma (-1),4,24,64,168-s32max
DATA_SOURCE 2 ptep r pte_offset_map_lock
NOSPEC 1 address
NOSPEC 1 address
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 address 0-u64max[c]
USER_DATA 2 ptep 4096-ptr_max[u]
NO_OVERFLOW_SIMPLE 0 vma->vm_end
NO_OVERFLOW_SIMPLE 0 vma->vm_pgoff
NO_OVERFLOW_SIMPLE 0 vma->vm_start
UNITS 1 address unit_byte
LOCK2 vmf->ptl

mm/memory.c finish_mkwrite_fault() -> update_mmu_tlb()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->vm_flags 8-u64max
PARAM_VALUE 1 address 0,4096-u64max
PARAM_VALUE 2 ptep 4096-ptr_max
BUF_SIZE 0 vma (-1),4,24,64,168-s32max
BUF_SIZE 0 vma (-1),4,24,64,168-s32max
CAPPED_DATA 0 vma 1
CAPPED_DATA 1 address 1
CAPPED_DATA 1 address 1
DATA_SOURCE 2 ptep r pte_offset_map_lock
NOSPEC 1 address
NOSPEC 1 address
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 address 0,4096-u64max[c]
NO_OVERFLOW_SIMPLE 0 vma->vm_pgoff
UNITS 1 address unit_byte
LOCK2 vmf->ptl
HALF_LOCKED2 &mm->mmap_lock

mm/memory.c handle_pte_fault() -> update_mmu_tlb()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 1 address 0,4096-u64max
PARAM_VALUE 2 ptep 4096-ptr_max
DATA_SOURCE 2 ptep r pte_offset_map_rw_nolock
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 address 0,4096-u64max[c]
UNITS 1 address unit_byte
LOCK2 rcu_read
LOCK2 vmf->ptl
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &pool->lock

mm/memory.c wp_page_copy() -> update_mmu_tlb()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 1 address 0,4096-u64max
PARAM_VALUE 2 ptep 4096-ptr_max
BUF_SIZE 0 vma (-1),1-s32max
BUF_SIZE 0 vma (-1),1-s32max
CAPPED_DATA 1 address 1
CAPPED_DATA 1 address 1
DATA_SOURCE 2 ptep r pte_offset_map_lock
NOSPEC 1 address
NOSPEC 1 address
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 vma->swap_readahead_info.counter 0-s64max[c]
USER_DATA 1 address 0,4096-u64max[c]
NO_OVERFLOW_SIMPLE 0 vma->vm_pgoff
UNITS 1 address unit_byte
LOCK2 vmf->ptl
HALF_LOCKED2 &mm->mmap_lock