Documented in 1 files:
Defined in 1 files as a function:
Referenced in 4 files:
- include/linux/leafops.h
- include/linux/mm_inline.h, line 558
- mm/hugetlb.c, line 6055
- mm/memory.c, line 4722
Smatch caller information:
mm/madvise.c softleaf_is_guard_marker() -> softleaf_to_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_to_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/userfaultfd.c softleaf_is_poison_marker() -> softleaf_to_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_to_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 softleaf_is_guard_marker() -> softleaf_to_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_to_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | ptl |
mm/mprotect.c softleaf_is_guard_marker() -> softleaf_to_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_to_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_to_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
mm/hugetlb.c copy_pte_marker() -> softleaf_to_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | &oldmm->mmap_lock | ||
| LOCK2 | src_ptl | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/hugetlb.c hugetlb_fault() -> softleaf_to_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/hugetlb.c softleaf_is_poison_marker() -> softleaf_to_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_to_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/mremap.c softleaf_is_uffd_wp_marker() -> softleaf_to_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_pte_marker() -> softleaf_to_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| 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 handle_pte_marker() -> softleaf_to_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_to_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_to_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_to_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | ptl |
mm/hmm.c softleaf_is_uffd_wp_marker() -> softleaf_to_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_to_marker()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | entry | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |