Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/jffs2/readinode.c jffs2_get_inode_nodes() -> read_more()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->erase_completion_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 c->inocache_list 4096-ptr_max
PARAM_VALUE 0 c->inocache_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 c->mtd 4096-ptr_max
PARAM_VALUE 0 c->wbuf_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 c->wbuf_sem.first_waiter->type 0-1
PARAM_VALUE 0 c->xattr_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 c->xattr_sem.first_waiter->type 0-1
PARAM_VALUE 1 ref 4096-ptr_max
PARAM_VALUE 1 ref->next_in_ino 4096-ptr_max
PARAM_VALUE 2 needed_len 68
PARAM_VALUE 3 rdlen 7415358274636197888
PARAM_VALUE 3 *rdlen 0-67
PARAM_VALUE 4 buf 4096-ptr_max
BUF_SIZE 0 c (-1),1-s32max
BUF_SIZE 0 c (-1),1-s32max
BUF_SIZE 4 buf 0-s32max,18446744071562067968-u64max
BUF_SIZE 4 buf 0-s32max,18446744071562067968-u64max
CAPPED_DATA 0 c->mtd 1
DATA_SOURCE 0 c $0
DATA_SOURCE 4 buf r _kmalloc_noprof
STR_LEN 0 c (-1)-254
STR_LEN 0 c (-1)-254
RX_PATH
TASK_NOT_RUNNING
UNITS 0 c unit_byte
UNITS 2 needed_len unit_byte
LOCK2 &f->sem
HALF_LOCKED2 0 &c->alloc_sem
HALF_LOCKED2 0 &c->wbuf_sem
TYPE_LOCK (struct jffs2_inode_info)->sem