Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/memory.c should_zap_folio() -> should_zap_cows()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | details | 0,387197900413460480,1625540805574000640,2054197844880678912,3413708407795286016,7358449392398376960 |
| BUF_SIZE | 0 | details->single_folio | (-1)-s32max |
| DATA_SOURCE | 0 | details | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | details->single_folio->index | |
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/memory.c zap_nonpresent_ptes() -> should_zap_cows()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | details | 0,387197900413460480,1625540805574000640,2054197844880678912,3413708407795286016,7358449392398376960 |
| BUF_SIZE | 0 | details->single_folio | (-1)-s32max |
| DATA_SOURCE | 0 | details | $6 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | details->single_folio->index | |
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/memory.c zap_nonpresent_ptes() -> should_zap_cows()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | details | 0,387197900413460480,1625540805574000640,2054197844880678912,3413708407795286016,7358449392398376960 |
| BUF_SIZE | 0 | details->single_folio | (-1)-s32max |
| DATA_SOURCE | 0 | details | $6 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | details->single_folio->index | |
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |