Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 root 1212094306357284864
MEM_ZERO 0 root
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_build_inode_fragtree() -> eat_last()

Type Parameter Key Value
PARAM_VALUE 0 root 967646738142523392
PARAM_VALUE 0 root->rb_node 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_build_inode_fragtree() -> eat_last()

Type Parameter Key Value
PARAM_VALUE 0 root 967646738142523392
PARAM_VALUE 0 root->rb_node 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