Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/migrate.c migrate_folios_move() -> migrate_folio_move()

Type Parameter Key Value
PARAM_VALUE 1 private 0-s32max,39519167169261568,398358716781297664,627961168991526912,903474201847201792,2805172457106239488,3401114275978272768,3408872548563406848,5141631671574016000,5235996720164270080,6367197525809991680,7883007110703185920-u64max
PARAM_VALUE 2 src 4096-ptr_max
PARAM_VALUE 2 src->mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 2 src->mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 2 *src->_mm_id 0-4294967295
PARAM_VALUE 3 dst 4096-ptr_max
PARAM_VALUE 3 dst->mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 3 dst->mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 5 reason 0-9
PARAM_VALUE 6 ret 7240419193134690304,8841282148405669888
PARAM_VALUE 6 ret->next 7240419193134690304,8841282148405669888
BUF_SIZE 1 private->nmask (-1),128
BUF_SIZE 1 private->pol (-1)-s32max
BUF_SIZE 6 ret->next (-1),16
DATA_SOURCE 0 put_new_folio $2
DATA_SOURCE 1 private $3
DATA_SOURCE 4 mode $4
DATA_SOURCE 5 reason $5
DATA_SOURCE 6 ret $6
FUZZY_MAX 5 reason 7
HARD_MAX 5 reason 9
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 private->pol->mode