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 |