Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/jffs2/gc.c jffs2_garbage_collect_dnode() -> jffs2_free_comprbuf()

Type Parameter Key Value
PARAM_VALUE 0 comprbuf 1-u64max
PARAM_VALUE 0 *comprbuf 0-255
PARAM_VALUE 1 orig 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &c->alloc_sem
LOCK2 &f->sem
HALF_LOCKED2 &c->wbuf_sem
TYPE_LOCK (struct jffs2_inode_info)->sem
TYPE_LOCK (struct jffs2_sb_info)->alloc_sem

fs/jffs2/write.c jffs2_write_inode_range() -> jffs2_free_comprbuf()

Type Parameter Key Value
PARAM_VALUE 0 *comprbuf 0-255
DATA_SOURCE 1 orig $3 [m]
NOSPEC 1 orig
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 orig 4096-ptr_max[c][u]
LOCK2 &c->alloc_sem
LOCK2 &f->sem
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct jffs2_inode_info)->sem
TYPE_LOCK (struct jffs2_sb_info)->alloc_sem