Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/jffs2/file.c jffs2_write_end() -> jffs2_write_inode_range()

Type Parameter Key Value
PARAM_VALUE 1 f 4096-ptr_max
PARAM_VALUE 2 ri 4096-ptr_max
PARAM_VALUE 6 retlen 5467704599910150144
PARAM_VALUE 6 *retlen 0
BUF_SIZE 0 c 1-s32max
BUF_SIZE 0 c 1-s32max
DATA_SOURCE 2 ri r jffs2_alloc_raw_inode
DATA_SOURCE 3 buf r kmap_local_folio
BIT_INFO 2 ri->gid 0x0,0x7fff
BIT_INFO 2 ri->ino 0x0,0x7fffffff
BIT_INFO 2 ri->isize 0x0,0x7fffffff
BIT_INFO 2 ri->mode 0x0,0x7fffffff
BIT_INFO 2 ri->mtime 0x0,0x7fffffff
BIT_INFO 2 ri->uid 0x0,0x7fff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 4 offset 0-u32max[c]
USER_DATA 5 writelen 0-u32max[c]
UNITS 0 c unit_byte
UNITS 4 offset unit_byte
UNITS 5 writelen unit_byte
HALF_LOCKED2 &inode->i_rwsem