Documented in 1 files:
Defined in 1 files as a function:
Referenced in 4 files:
Smatch caller information:
mm/madvise.c softleaf_is_guard_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | ptl |
mm/madvise.c softleaf_is_poison_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/madvise.c softleaf_to_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | ptl |
mm/userfaultfd.c pte_is_uffd_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | r softleaf_from_pte |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &state.ctx->map_changing_lock | ||
| HALF_LOCKED2 | ptl | ||
| HALF_LOCKED2 | rcu_read |
mm/userfaultfd.c softleaf_is_poison_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &state.ctx->map_changing_lock | ||
| HALF_LOCKED2 | ptl | ||
| HALF_LOCKED2 | rcu_read |
mm/userfaultfd.c softleaf_is_uffd_wp_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &state.ctx->map_changing_lock | ||
| HALF_LOCKED2 | ptl | ||
| HALF_LOCKED2 | rcu_read |
mm/userfaultfd.c softleaf_to_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &state.ctx->map_changing_lock | ||
| HALF_LOCKED2 | ptl | ||
| HALF_LOCKED2 | rcu_read |
fs/proc/task_mmu.c make_uffd_wp_huge_pte() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | r softleaf_from_pte |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &vma->vm_file->f_mapping->i_mmap_rwsem | ||
| TYPE_LOCK | (struct address_space)->i_mmap_rwsem |
fs/proc/task_mmu.c softleaf_is_guard_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |
fs/proc/task_mmu.c softleaf_is_uffd_wp_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | ptl |
fs/proc/task_mmu.c softleaf_to_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | ptl |
mm/mprotect.c change_softleaf_pte() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | r softleaf_from_pte |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/mprotect.c softleaf_is_guard_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/mprotect.c softleaf_is_poison_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/mprotect.c softleaf_to_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/shmem.c softleaf_is_poison_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
mm/shmem.c softleaf_to_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
mm/hugetlb.c pte_is_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &oldmm->mmap_lock | ||
| HALF_LOCKED2 | &vma->vm_file->f_mapping->i_mmap_rwsem | ||
| HALF_LOCKED2 | src_ptl |
mm/hugetlb.c pte_is_uffd_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | r softleaf_from_pte |
| PREEMPT_ADD | |||
| LOCK2 | &state.ctx->map_changing_lock | ||
| HALF_LOCKED2 | &ctx->map_changing_lock | ||
| TYPE_LOCK | (struct userfaultfd_ctx)->map_changing_lock |
mm/hugetlb.c softleaf_is_poison_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| PREEMPT_ADD | |||
| LOCK2 | &state.ctx->map_changing_lock | ||
| HALF_LOCKED2 | &ctx->map_changing_lock | ||
| TYPE_LOCK | (struct userfaultfd_ctx)->map_changing_lock |
mm/hugetlb.c softleaf_is_uffd_wp_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &state.ctx->map_changing_lock |
mm/hugetlb.c softleaf_to_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &oldmm->mmap_lock | ||
| HALF_LOCKED2 | &state.ctx->map_changing_lock | ||
| HALF_LOCKED2 | ptl | ||
| HALF_LOCKED2 | src_ptl |
mm/mremap.c softleaf_is_uffd_wp_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| 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/mremap.c softleaf_to_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| 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 copy_nonpresent_pte() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | r softleaf_from_pte |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | &oldmm->mmap_lock | ||
| LOCK2 | dst_ptl | ||
| LOCK2 | rcu_read | ||
| LOCK2 | src_ptl | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/memory.c do_swap_page() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | r softleaf_from_pte |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/memory.c softleaf_is_guard_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/memory.c softleaf_is_poison_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/memory.c softleaf_is_uffd_wp_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | ptl |
mm/memory.c softleaf_to_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &oldmm->mmap_lock | ||
| HALF_LOCKED2 | dst_ptl | ||
| HALF_LOCKED2 | ptl | ||
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | src_ptl |
mm/mincore.c pte_is_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | ptl |
mm/hmm.c softleaf_is_uffd_wp_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/hmm.c softleaf_to_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/khugepaged.c softleaf_is_uffd_wp_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/khugepaged.c softleaf_to_marker() -> softleaf_is_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |