Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

fs/jffs2/fs.c jffs2_do_setattr() -> jffs2_free_full_dnode()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->raw 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &c->alloc_sem
LOCK2 &f->sem
TYPE_LOCK (struct jffs2_inode_info)->sem
TYPE_LOCK (struct jffs2_sb_info)->alloc_sem

fs/jffs2/file.c jffs2_write_begin() -> jffs2_free_full_dnode()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->raw 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

fs/jffs2/file.c jffs2_write_begin() -> jffs2_free_full_dnode()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->raw 0,4096-ptr_max
PARAM_VALUE 0 x->size 1-u32max
DATA_SOURCE 0 x r jffs2_write_dnode
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

fs/jffs2/readinode.c jffs2_build_inode_fragtree() -> jffs2_free_full_dnode()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->raw 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &f->sem
HALF_LOCKED2 &c->alloc_sem
HALF_LOCKED2 &c->wbuf_sem
TYPE_LOCK (struct jffs2_inode_info)->sem

fs/jffs2/readinode.c jffs2_do_clear_inode() -> jffs2_free_full_dnode()

Type Parameter Key Value
PARAM_VALUE 0 x 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &f->sem
HALF_LOCKED2 &c->alloc_sem
TYPE_LOCK (struct jffs2_inode_info)->sem

fs/jffs2/readinode.c jffs2_do_read_inode_internal() -> jffs2_free_full_dnode()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &f->sem
HALF_LOCKED2 &c->alloc_sem
TYPE_LOCK (struct jffs2_inode_info)->sem

fs/jffs2/readinode.c jffs2_free_tmp_dnode_info_list() -> jffs2_free_full_dnode()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &f->sem
HALF_LOCKED2 &c->alloc_sem
TYPE_LOCK (struct jffs2_inode_info)->sem

fs/jffs2/readinode.c jffs2_kill_tn() -> jffs2_free_full_dnode()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->raw 0,4096-ptr_max
BUF_SIZE 0 x->raw (-1),1-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &f->sem
HALF_LOCKED2 &c->alloc_sem
HALF_LOCKED2 &c->wbuf_sem
TYPE_LOCK (struct jffs2_inode_info)->sem

fs/jffs2/readinode.c read_dnode() -> jffs2_free_full_dnode()

Type Parameter Key Value
PARAM_VALUE 0 x->raw 4096-ptr_max
PARAM_VALUE 0 x->raw->next_in_ino 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &f->sem
HALF_LOCKED2 &c->alloc_sem
HALF_LOCKED2 &c->wbuf_sem
TYPE_LOCK (struct jffs2_inode_info)->sem

fs/jffs2/nodelist.c jffs2_kill_fragtree() -> jffs2_free_full_dnode()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->frags 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &f->sem
HALF_LOCKED2 &c->alloc_sem
TYPE_LOCK (struct jffs2_inode_info)->sem

fs/jffs2/nodelist.c jffs2_obsolete_node_frag() -> jffs2_free_full_dnode()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->frags 0
PARAM_VALUE 0 x->raw 0,4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &f->sem
HALF_LOCKED2 &c->alloc_sem
HALF_LOCKED2 &c->wbuf_sem
TYPE_LOCK (struct jffs2_inode_info)->sem

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

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->raw 0,4096-ptr_max
CAPPED_DATA 0 x 1
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/gc.c jffs2_garbage_collect_hole() -> jffs2_free_full_dnode()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->raw 0,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/gc.c jffs2_garbage_collect_hole() -> jffs2_free_full_dnode()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->frags 0
PARAM_VALUE 0 x->raw 4096-ptr_max
CAPPED_DATA 0 x 1
DATA_SOURCE 0 x $3
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/gc.c jffs2_garbage_collect_metadata() -> jffs2_free_full_dnode()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->raw 4096-ptr_max
DATA_SOURCE 0 x $3
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_dnode() -> jffs2_free_full_dnode()

Type Parameter Key Value
PARAM_VALUE 0 x 1-u64max
DATA_SOURCE 0 x r jffs2_alloc_full_dnode
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &f->sem
HALF_LOCKED2 &c->alloc_sem
HALF_LOCKED2 &f->sem
TYPE_LOCK (struct jffs2_inode_info)->sem

fs/jffs2/write.c jffs2_write_dnode() -> jffs2_free_full_dnode()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->raw (-22)
DATA_SOURCE 0 x r jffs2_alloc_full_dnode
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &c->alloc_sem
HALF_LOCKED2 &f->sem
HALF_LOCKED2 &f->sem
TYPE_LOCK (struct jffs2_sb_info)->alloc_sem

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

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->raw 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

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

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->raw 0,4096-ptr_max
PARAM_VALUE 0 x->size 1-u32max
DATA_SOURCE 0 x r jffs2_write_dnode
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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