Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/khugepaged.c collapse_check_pte() -> pte_check_fail()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6581394961178673152,8503825448910479360
PARAM_VALUE 0 ctx->result 0
PARAM_VALUE 1 result 4
CAPPED_DATA 0 ctx->max_ptes_none 1
DATA_SOURCE 0 ctx $2
PARAM_COMPARE 0 ctx->max_ptes_none < $0->none_or_zero
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &vma->anon_vma->root->rwsem
HALF_LOCKED2 pte_ptl
HALF_LOCKED2 ptl

mm/khugepaged.c collapse_check_pte() -> pte_check_fail()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6581394961178673152,8503825448910479360
PARAM_VALUE 0 ctx->result 0
PARAM_VALUE 1 result 7
DATA_SOURCE 0 ctx $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &vma->anon_vma->root->rwsem
HALF_LOCKED2 pte_ptl
HALF_LOCKED2 ptl

mm/khugepaged.c collapse_check_pte() -> pte_check_fail()

Type Parameter Key Value
PARAM_VALUE 0 ctx 8503825448910479360
PARAM_VALUE 0 ctx->result 0
PARAM_VALUE 1 result 5
CAPPED_DATA 0 ctx->max_ptes_swap 1
DATA_SOURCE 0 ctx $2
PARAM_COMPARE 0 ctx->max_ptes_swap < $0->unmapped
RX_PATH
TASK_NOT_RUNNING
LOCK2 ptl
HALF_LOCKED2 &mm->mmap_lock

mm/khugepaged.c collapse_check_pte() -> pte_check_fail()

Type Parameter Key Value
PARAM_VALUE 0 ctx 8503825448910479360
PARAM_VALUE 0 ctx->result 0
PARAM_VALUE 1 result 8
DATA_SOURCE 0 ctx $2
PARAM_COMPARE 0 ctx->max_ptes_swap >= $0->unmapped
RX_PATH
TASK_NOT_RUNNING
LOCK2 ptl
HALF_LOCKED2 &mm->mmap_lock

mm/khugepaged.c collapse_check_pte() -> pte_check_fail()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6581394961178673152,8503825448910479360
PARAM_VALUE 0 ctx->result 0
PARAM_VALUE 1 result 8
DATA_SOURCE 0 ctx $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &vma->anon_vma->root->rwsem
HALF_LOCKED2 pte_ptl
HALF_LOCKED2 ptl

mm/khugepaged.c collapse_check_pte() -> pte_check_fail()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6581394961178673152,8503825448910479360
PARAM_VALUE 0 ctx->result 0
PARAM_VALUE 1 result 11
DATA_SOURCE 0 ctx $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &vma->anon_vma->root->rwsem
HALF_LOCKED2 pte_ptl
HALF_LOCKED2 ptl

mm/khugepaged.c collapse_check_pte() -> pte_check_fail()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6581394961178673152,8503825448910479360
PARAM_VALUE 0 ctx->result 0
PARAM_VALUE 1 result 17
DATA_SOURCE 0 ctx $2
BIT_INFO 0 ctx->vma->vm_flags 0x0,0xfffffeffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &vma->anon_vma->root->rwsem
HALF_LOCKED2 pte_ptl
HALF_LOCKED2 ptl

mm/khugepaged.c collapse_check_pte() -> pte_check_fail()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6581394961178673152,8503825448910479360
PARAM_VALUE 0 ctx->result 0
PARAM_VALUE 1 result 16
DATA_SOURCE 0 ctx $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &vma->anon_vma->root->rwsem
HALF_LOCKED2 pte_ptl
HALF_LOCKED2 ptl

mm/khugepaged.c collapse_check_pte() -> pte_check_fail()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6581394961178673152,8503825448910479360
PARAM_VALUE 0 ctx->result 0
PARAM_VALUE 1 result 6
CAPPED_DATA 0 ctx->max_ptes_shared 1
DATA_SOURCE 0 ctx $2
PARAM_COMPARE 0 ctx->max_ptes_shared < $0->shared
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &vma->anon_vma->root->rwsem
HALF_LOCKED2 pte_ptl
HALF_LOCKED2 ptl