Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/filemap.c mapping_seek_hole_data() -> folio_seek_hole_data()

Type Parameter Key Value
PARAM_VALUE 0 xas 3296202185961701376
PARAM_VALUE 0 xas->xa 4096-ptr_max
PARAM_VALUE 0 xas->xa_alloc 0
PARAM_VALUE 0 xas->xa_lru 0
PARAM_VALUE 0 xas->xa_node 0-1,4096-ptr_max
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 0
PARAM_VALUE 0 xas->xa_sibs 0
PARAM_VALUE 1 mapping->a_ops->is_partially_uptodate 0,1933474595957665792,7182876493439184896
PARAM_VALUE 1 mapping->host->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 2 folio 1-1025,1027-1029,1031-u64max
PARAM_VALUE 3 start s64min-9223372036854775806
CAPPED_DATA 3 start 1
CAPPED_DATA 3 start 1
CAPPED_DATA 4 end 1
CAPPED_DATA 4 end 1
DATA_SOURCE 1 mapping $0
DATA_SOURCE 2 folio r find_get_entry
DATA_SOURCE 3 start $1 [m]
NOSPEC 3 start
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 xas->xa_index 0-2251799813685247
USER_DATA 3 start (-9223372036854775807)-(-4096),0-9223372036854775806[c]
NO_OVERFLOW_SIMPLE 4 end
UNITS 3 start unit_byte
UNITS 4 end unit_byte
LOCK2 rcu_read
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 1 &mapping->invalidate_lock