Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/migrate.c add_folio_for_migration() -> __add_folio_for_migration()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 1-u64max |
| PARAM_VALUE | 1 | node | 0-1023 |
| PARAM_VALUE | 2 | pagelist | 3973685241485504512 |
| PARAM_VALUE | 2 | pagelist->next | 3973685241485504512 |
| PARAM_VALUE | 2 | pagelist->prev | 4096-ptr_max |
| CAPPED_DATA | 1 | node | 1 |
| DATA_SOURCE | 0 | folio | r folio_walk_start |
| DATA_SOURCE | 1 | node | $2 |
| DATA_SOURCE | 2 | pagelist | $3 |
| DATA_SOURCE | 3 | migrate_all | $4 |
| BIT_INFO | 3 | migrate_all | 0x0,0x0 |
| NOSPEC | 1 | node | |
| NOSPEC | 1 | node | |
| USER_DATA | 1 | node | 0-1023[c] |
| USER_DATA | 3 | migrate_all | 0-1[c] |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |