Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/migrate.c migrate_pages_batch() -> migrate_folios_move()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | src_folios | 255609685057011712 |
| PARAM_VALUE | 0 | src_folios->next | 255609685057011712 |
| PARAM_VALUE | 0 | src_folios->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | dst_folios | 6786554675723374592 |
| PARAM_VALUE | 1 | dst_folios->next | 6786554675723374592 |
| PARAM_VALUE | 1 | dst_folios->prev | 4096-ptr_max |
| PARAM_VALUE | 3 | private | 0-s32max,39519167169261568,398358716781297664,627961168991526912,903474201847201792,2805172457106239488,3401114275978272768,3408872548563406848,5141631671574016000,5235996720164270080,6367197525809991680,7883007110703185920-u64max |
| PARAM_VALUE | 5 | reason | 0-9 |
| PARAM_VALUE | 6 | ret_folios | 7240419193134690304,8841282148405669888 |
| PARAM_VALUE | 6 | ret_folios->next | 7240419193134690304,8841282148405669888 |
| PARAM_VALUE | 6 | ret_folios->prev | 4096-ptr_max |
| PARAM_VALUE | 7 | stats | 731479545118994432,4735823030602809344 |
| PARAM_VALUE | 7 | stats->nr_split | 0-s32max |
| PARAM_VALUE | 8 | retry | 625058711222747136 |
| PARAM_VALUE | 8 | *retry | 0 |
| PARAM_VALUE | 9 | thp_retry | 1385730492420018176 |
| PARAM_VALUE | 9 | *thp_retry | 0 |
| PARAM_VALUE | 10 | nr_failed | 7328057296292790272 |
| PARAM_VALUE | 11 | nr_retry_pages | 4055582721993728000 |
| PARAM_VALUE | 11 | *nr_retry_pages | 0 |
| BUF_SIZE | 3 | private->nmask | (-1),128 |
| BUF_SIZE | 3 | private->pol | (-1),288 |
| DATA_SOURCE | 2 | put_new_folio | $2 |
| DATA_SOURCE | 3 | private | $3 |
| DATA_SOURCE | 4 | mode | $4 |
| DATA_SOURCE | 5 | reason | $5 |
| DATA_SOURCE | 6 | ret_folios | $6 |
| DATA_SOURCE | 7 | stats | $8 |
| FUZZY_MAX | 5 | reason | 7 |
| FUZZY_MAX | 7 | stats->nr_split | 0 |
| HARD_MAX | 5 | reason | 9 |
| MEM_ZERO | 7 | stats | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |