Defined in 1 files as a prototype:
Defined in 2 files as a function:
- arch/x86/include/asm/pgtable-2level.h, line 121 (as a function)
- arch/x86/include/asm/pgtable-invert.h, line 27 (as a function)
Referenced in 2 files:
Smatch caller information:
mm/huge_memory.c pmd_modify() -> flip_protnone_guard()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | mask | 0,2097152-4503599625273344 |
| CAPPED_DATA | 0 | oldval | 1 |
| CAPPED_DATA | 0 | oldval | 1 |
| CAPPED_DATA | 2 | mask | 1 |
| BIT_INFO | 2 | mask | 0x0,0xfffffffe00000 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &ctx->map_changing_lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &oldmm->mmap_lock | ||
| HALF_LOCKED2 | src_ptl |
mm/huge_memory.c pte_modify() -> flip_protnone_guard()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | mask | 0,4096-4503599627366400 |
| CAPPED_DATA | 0 | oldval | 1 |
| CAPPED_DATA | 0 | oldval | 1 |
| CAPPED_DATA | 2 | mask | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &vma->vm_private_data->rw_sema | ||
| HALF_LOCKED2 | ptl |
mm/huge_memory.c pud_modify() -> flip_protnone_guard()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | mask | 0,1073741824-4503598553628672 |
| CAPPED_DATA | 0 | oldval | 1 |
| CAPPED_DATA | 0 | oldval | 1 |
| CAPPED_DATA | 2 | mask | 1 |
| BIT_INFO | 2 | mask | 0x0,0xfffffc0000000 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dst_mm->mmap_lock | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/userfaultfd.c pte_modify() -> flip_protnone_guard()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | mask | 0,4096-4503599627366400 |
| CAPPED_DATA | 0 | oldval | 1 |
| CAPPED_DATA | 0 | oldval | 1 |
| CAPPED_DATA | 2 | mask | 1 |
| LOCK2 | &ctx->map_changing_lock | ||
| LOCK2 | rcu_read | ||
| TYPE_LOCK | (struct userfaultfd_ctx)->map_changing_lock |
mm/swapfile.c pte_modify() -> flip_protnone_guard()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | mask | 0,4096-4503599627366400 |
| CAPPED_DATA | 0 | oldval | 1 |
| CAPPED_DATA | 0 | oldval | 1 |
| CAPPED_DATA | 2 | mask | 1 |
| CAPABLE | 0 | 21 | |
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | ptl | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/kfence/core.c kfence_protect_page() -> flip_protnone_guard()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | mask | 0,4096-4503599627366400 |
| CAPPED_DATA | 0 | oldval | 1 |
| CAPPED_DATA | 0 | oldval | 1 |
| CAPPED_DATA | 1 | val | 1 |
| CAPPED_DATA | 1 | val | 1 |
| CAPPED_DATA | 2 | mask | 1 |
| DATA_SOURCE | 0 | oldval | r pte_val |
| PARAM_COMPARE | 1 | val | == $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &meta->lock | ||
| HALF_LOCKED2 | flags |
mm/mprotect.c pte_modify() -> flip_protnone_guard()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | mask | 0,4096-4503599627366400 |
| CAPPED_DATA | 0 | oldval | 1 |
| CAPPED_DATA | 0 | oldval | 1 |
| CAPPED_DATA | 2 | mask | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/hugetlb.c pte_modify() -> flip_protnone_guard()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | mask | 0,4096-4503599627366400 |
| CAPPED_DATA | 0 | oldval | 1 |
| CAPPED_DATA | 0 | oldval | 1 |
| CAPPED_DATA | 2 | mask | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mapping->i_mmap_rwsem | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &oldmm->mmap_lock | ||
| HALF_LOCKED2 | &vma->vm_file->f_mapping->i_mmap_rwsem | ||
| HALF_LOCKED2 | dst_ptl | ||
| HALF_LOCKED2 | src_ptl |
mm/mremap.c pte_modify() -> flip_protnone_guard()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | mask | 0,4096-4503599627366400 |
| CAPPED_DATA | 0 | oldval | 1 |
| CAPPED_DATA | 0 | oldval | 1 |
| CAPPED_DATA | 2 | mask | 1 |
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | old_ptl | ||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &tsk->signal->exec_update_lock | ||
| HALF_LOCKED2 | new_ptl | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/memory.c pte_modify() -> flip_protnone_guard()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | mask | 0,4096-4503599627366400 |
| CAPPED_DATA | 0 | oldval | 1 |
| CAPPED_DATA | 0 | oldval | 1 |
| CAPPED_DATA | 2 | mask | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &oldmm->mmap_lock | ||
| HALF_LOCKED2 | dst_ptl | ||
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | src_ptl | ||
| HALF_LOCKED2 | vmf->ptl |
mm/migrate.c pte_modify() -> flip_protnone_guard()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | mask | 0,4096-4503599627366400 |
| CAPPED_DATA | 0 | oldval | 1 |
| CAPPED_DATA | 0 | oldval | 1 |
| CAPPED_DATA | 2 | mask | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &anon_vma->root->rwsem | ||
| HALF_LOCKED2 | &folio->private->lock |