Defined in 2 files as a function:
Referenced in 2 files:
Smatch caller information:
mm/memory.c wp_page_copy() -> ksm_might_unmap_zero_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mm | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | mm | unit_byte |
| LOCK2 | vmf->ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/memory.c zap_present_ptes() -> ksm_might_unmap_zero_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 1 | pte | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | mm | unit_byte |
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/khugepaged.c __collapse_huge_page_copy_succeeded() -> ksm_might_unmap_zero_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mm | 4096-ptr_max |
| DATA_SOURCE | 1 | pte | r ptep_get |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | mm | unit_byte |
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &vma->anon_vma->root->rwsem | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |