Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/f2fs/data.c f2fs_read_data_large_folio() -> ffs_find_or_alloc()

Type Parameter Key Value
PARAM_VALUE 0 folio 4096-ptr_max
PARAM_VALUE 0 folio->mapping 0,4096-ptr_max
PARAM_VALUE 0 folio->mapping->host 4096-ptr_max
DATA_SOURCE 0 folio $3 [m]
NOSPEC 0 folio->mapping->writeback_index
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 folio->mapping->writeback_index 0-524287[c]
HALF_LOCKED2 &mapping->invalidate_lock