Defined in 2 files as a member:

Defined in 1 files as a function:

Referenced in 48 files:

Smatch caller information:

mm/page_vma_mapped.c page_vma_mapped_walk() -> not_found()

Type Parameter Key Value
PARAM_VALUE 0 pvmw 4096-ptr_max
PARAM_VALUE 0 pvmw->flags 0-1,3,65536-u32max
PARAM_VALUE 0 pvmw->nr_pages 0-u32max
PARAM_VALUE 0 pvmw->pmd 4096-ptr_max
PARAM_VALUE 0 pvmw->pte 0
PARAM_VALUE 0 pvmw->ptl 0,4096-ptr_max
PARAM_VALUE 0 pvmw->vma 4096-ptr_max
DATA_SOURCE 0 pvmw $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 pvmw->address

mm/page_vma_mapped.c page_vma_mapped_walk() -> not_found()

Type Parameter Key Value
PARAM_VALUE 0 pvmw 4096-ptr_max
PARAM_VALUE 0 pvmw->flags 0-1,3,65536-u32max
PARAM_VALUE 0 pvmw->nr_pages 0-u32max
PARAM_VALUE 0 pvmw->pmd 0,4096-ptr_max
PARAM_VALUE 0 pvmw->pte 1-u64max
PARAM_VALUE 0 pvmw->ptl 0,4096-ptr_max
PARAM_VALUE 0 pvmw->vma 4096-ptr_max
PARAM_VALUE 0 pvmw->vma->flags.__vma_flags 4096-ptr_max
PARAM_VALUE 0 pvmw->vma->vm_file 4096-ptr_max
DATA_SOURCE 0 pvmw $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 pvmw->address

mm/page_vma_mapped.c page_vma_mapped_walk() -> not_found()

Type Parameter Key Value
PARAM_VALUE 0 pvmw 4096-ptr_max
PARAM_VALUE 0 pvmw->flags 0-1,3,65536-u32max
PARAM_VALUE 0 pvmw->nr_pages 0-u32max
PARAM_VALUE 0 pvmw->pmd 0
PARAM_VALUE 0 pvmw->pte 4096-ptr_max
PARAM_VALUE 0 pvmw->ptl 4096-ptr_max
PARAM_VALUE 0 pvmw->ptl->rlock.dep_map->name 0-255
PARAM_VALUE 0 pvmw->vma 4096-ptr_max
PARAM_VALUE 0 pvmw->vma->flags.__vma_flags 4096-ptr_max
PARAM_VALUE 0 pvmw->vma->vm_file 4096-ptr_max
PARAM_VALUE 0 pvmw->vma->vm_mm 4096-ptr_max
BUF_SIZE 0 pvmw->ptl (-1),72
CAPPED_DATA 0 pvmw->pte 1
DATA_SOURCE 0 pvmw $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 pvmw->address
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &ksm_thread_mutex
HALF_LOCKED2 global &mf_mutex
HALF_LOCKED2 rcu_read

mm/page_vma_mapped.c page_vma_mapped_walk() -> not_found()

Type Parameter Key Value
PARAM_VALUE 0 pvmw 4096-ptr_max
PARAM_VALUE 0 pvmw->flags 0-1,3,65536-u32max
PARAM_VALUE 0 pvmw->nr_pages 0-u32max
PARAM_VALUE 0 pvmw->pmd 4096-ptr_max
PARAM_VALUE 0 pvmw->pte 0
PARAM_VALUE 0 pvmw->ptl 4096-ptr_max
PARAM_VALUE 0 pvmw->ptl->rlock.dep_map->name 0-255
PARAM_VALUE 0 pvmw->vma 4096-ptr_max
PARAM_VALUE 0 pvmw->vma->flags.__vma_flags 4096-ptr_max
DATA_SOURCE 0 pvmw $0
BIT_INFO 0 pvmw->flags 0x0,0xfffffffd
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 pvmw->address
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &ksm_thread_mutex
HALF_LOCKED2 global &mf_mutex
HALF_LOCKED2 rcu_read

mm/page_vma_mapped.c page_vma_mapped_walk() -> not_found()

Type Parameter Key Value
PARAM_VALUE 0 pvmw 4096-ptr_max
PARAM_VALUE 0 pvmw->flags 0-1,3,65536-u32max
PARAM_VALUE 0 pvmw->nr_pages 0-u32max
PARAM_VALUE 0 pvmw->pmd 4096-ptr_max
PARAM_VALUE 0 pvmw->pte 0
PARAM_VALUE 0 pvmw->ptl 4096-ptr_max
PARAM_VALUE 0 pvmw->ptl->rlock.dep_map->name 0-255
PARAM_VALUE 0 pvmw->vma 4096-ptr_max
PARAM_VALUE 0 pvmw->vma->flags.__vma_flags 4096-ptr_max
DATA_SOURCE 0 pvmw $0
BIT_INFO 0 pvmw->flags 0x2,0xffffffffffffffff
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 pvmw->address
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &ksm_thread_mutex
HALF_LOCKED2 global &mf_mutex
HALF_LOCKED2 rcu_read

mm/page_vma_mapped.c page_vma_mapped_walk() -> not_found()

Type Parameter Key Value
PARAM_VALUE 0 pvmw 4096-ptr_max
PARAM_VALUE 0 pvmw->flags 0-1,3,65536-u32max
PARAM_VALUE 0 pvmw->nr_pages 0-u32max
PARAM_VALUE 0 pvmw->pmd 4096-ptr_max
PARAM_VALUE 0 pvmw->pte 0
PARAM_VALUE 0 pvmw->ptl 4096-ptr_max
PARAM_VALUE 0 pvmw->ptl->rlock.dep_map->name 0-255
PARAM_VALUE 0 pvmw->vma 4096-ptr_max
PARAM_VALUE 0 pvmw->vma->flags.__vma_flags 4096-ptr_max
DATA_SOURCE 0 pvmw $0
BIT_INFO 0 pvmw->flags 0x2,0xffffffff
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 pvmw->address
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &ksm_thread_mutex
HALF_LOCKED2 global &mf_mutex
HALF_LOCKED2 rcu_read

mm/page_vma_mapped.c page_vma_mapped_walk() -> not_found()

Type Parameter Key Value
PARAM_VALUE 0 pvmw 4096-ptr_max
PARAM_VALUE 0 pvmw->flags 0-1,3,65536-u32max
PARAM_VALUE 0 pvmw->nr_pages 0-u32max
PARAM_VALUE 0 pvmw->pmd 4096-ptr_max
PARAM_VALUE 0 pvmw->pte 0
PARAM_VALUE 0 pvmw->ptl 4096-ptr_max
PARAM_VALUE 0 pvmw->ptl->rlock.dep_map->name 0-255
PARAM_VALUE 0 pvmw->vma 4096-ptr_max
PARAM_VALUE 0 pvmw->vma->flags.__vma_flags 4096-ptr_max
DATA_SOURCE 0 pvmw $0
BIT_INFO 0 pvmw->flags 0x0,0xfffffffd
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 pvmw->address
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &ksm_thread_mutex
HALF_LOCKED2 global &mf_mutex
HALF_LOCKED2 rcu_read

mm/page_vma_mapped.c page_vma_mapped_walk() -> not_found()

Type Parameter Key Value
PARAM_VALUE 0 pvmw 4096-ptr_max
PARAM_VALUE 0 pvmw->flags 0-1,3,65536-u32max
PARAM_VALUE 0 pvmw->nr_pages 0-u32max
PARAM_VALUE 0 pvmw->pmd 4096-ptr_max
PARAM_VALUE 0 pvmw->pte 0
PARAM_VALUE 0 pvmw->ptl 4096-ptr_max
PARAM_VALUE 0 pvmw->ptl->rlock.dep_map->name 0-255
PARAM_VALUE 0 pvmw->vma 4096-ptr_max
PARAM_VALUE 0 pvmw->vma->flags.__vma_flags 4096-ptr_max
DATA_SOURCE 0 pvmw $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 pvmw->address
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &ksm_thread_mutex
HALF_LOCKED2 global &mf_mutex
HALF_LOCKED2 rcu_read

mm/page_vma_mapped.c page_vma_mapped_walk() -> not_found()

Type Parameter Key Value
PARAM_VALUE 0 pvmw 4096-ptr_max
PARAM_VALUE 0 pvmw->flags 0-1,3,65536-u32max
PARAM_VALUE 0 pvmw->nr_pages 0-u32max
PARAM_VALUE 0 pvmw->pmd 4096-ptr_max
PARAM_VALUE 0 pvmw->pte 0
PARAM_VALUE 0 pvmw->ptl 4096-ptr_max
PARAM_VALUE 0 pvmw->ptl->rlock.dep_map->name 0-255
PARAM_VALUE 0 pvmw->vma 4096-ptr_max
PARAM_VALUE 0 pvmw->vma->flags.__vma_flags 4096-ptr_max
DATA_SOURCE 0 pvmw $0
BIT_INFO 0 pvmw->flags 0x2,0xffffffff
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 pvmw->address
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &ksm_thread_mutex
HALF_LOCKED2 global &mf_mutex
HALF_LOCKED2 rcu_read

mm/page_vma_mapped.c page_vma_mapped_walk() -> not_found()

Type Parameter Key Value
PARAM_VALUE 0 pvmw 4096-ptr_max
PARAM_VALUE 0 pvmw->flags 0-1,3,65536-u32max
PARAM_VALUE 0 pvmw->nr_pages 0-u32max
PARAM_VALUE 0 pvmw->pmd 4096-ptr_max
PARAM_VALUE 0 pvmw->pte 0
PARAM_VALUE 0 pvmw->ptl 4096-ptr_max
PARAM_VALUE 0 pvmw->ptl->rlock.dep_map->name 0-255
PARAM_VALUE 0 pvmw->vma 4096-ptr_max
PARAM_VALUE 0 pvmw->vma->flags.__vma_flags 4096-ptr_max
DATA_SOURCE 0 pvmw $0
BIT_INFO 0 pvmw->flags 0x0,0xfffffffd
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 pvmw->address
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &ksm_thread_mutex
HALF_LOCKED2 global &mf_mutex
HALF_LOCKED2 rcu_read

mm/page_vma_mapped.c page_vma_mapped_walk() -> not_found()

Type Parameter Key Value
PARAM_VALUE 0 pvmw 4096-ptr_max
PARAM_VALUE 0 pvmw->flags 0-1,3,65536-u32max
PARAM_VALUE 0 pvmw->nr_pages 0-u32max
PARAM_VALUE 0 pvmw->pmd 0,4096-ptr_max
PARAM_VALUE 0 pvmw->pte 1-u64max
PARAM_VALUE 0 pvmw->ptl 0,4096-ptr_max
PARAM_VALUE 0 pvmw->vma 4096-ptr_max
PARAM_VALUE 0 pvmw->vma->flags.__vma_flags 4096-ptr_max
DATA_SOURCE 0 pvmw $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 pvmw->address
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &ksm_thread_mutex
HALF_LOCKED2 global &mf_mutex
HALF_LOCKED2 ptl
HALF_LOCKED2 rcu_read