Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/gup.c collect_longterm_unpinnable_folios() -> pofs_get_folio()

Type Parameter Key Value
PARAM_VALUE 0 pofs 3494218823398879232,6161306619089453056
PARAM_VALUE 1 i 0
DATA_SOURCE 0 pofs $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 pofs->nr_entries 2-1048576[c][u]

mm/gup.c migrate_longterm_unpinnable_folios() -> pofs_get_folio()

Type Parameter Key Value
PARAM_VALUE 0 pofs 3494218823398879232,6161306619089453056
PARAM_VALUE 1 i 0-9223372036854775806
CAPPED_DATA 1 i 1
DATA_SOURCE 0 pofs $1
PARAM_COMPARE 1 i < $0->nr_entries
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 pofs->nr_entries 2-1048576[c][u]

mm/gup.c pofs_next_folio() -> pofs_get_folio()

Type Parameter Key Value
PARAM_VALUE 0 pofs 3494218823398879232,6161306619089453056
BUF_SIZE 0 pofs->folios (-1)-s32max
BUF_SIZE 0 pofs->pages (-1)-s32max
DATA_SOURCE 0 pofs $1
PARAM_COMPARE 1 i != $0->nr_entries
PARAM_COMPARE 1 i != $0->nr_entries
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 pofs->nr_entries 2-1048576[c]