Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/f2fs/file.c f2fs_seek_block() -> __found_offset()

Type Parameter Key Value
PARAM_VALUE 0 mapping 4096-ptr_max
PARAM_VALUE 0 mapping->host 4096-ptr_max
PARAM_VALUE 0 mapping->host->i_rwsem.dep_map->name 0-255
PARAM_VALUE 0 mapping->host->i_rwsem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 mapping->host->i_rwsem.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 mapping->host->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 dn 6800923120338161664
PARAM_VALUE 1 dn->inode 4096-ptr_max
PARAM_VALUE 1 dn->inode_folio 1-u64max
PARAM_VALUE 1 dn->ofs_in_node 0-4294967294
PARAM_VALUE 3 whence 3-4
DATA_SOURCE 3 whence $2
MEM_ZERO 1 dn
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 index 0-4503599627370504[c]
USER_DATA 3 whence 3-4
UNITS 2 index unit_page
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem