Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 1 f 4096-ptr_max
PARAM_VALUE 1 f->metadata 4096-ptr_max
PARAM_VALUE 1 f->metadata->size 0-4000000
PARAM_VALUE 1 f->sem.dep_map->name 0-255
PARAM_VALUE 1 f->sem.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 f->sem.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 f->sem.osq.tail.counter 0-s32max
PARAM_VALUE 1 f->sem.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 f->sem.wait_lock.owner (-1)
PARAM_VALUE 1 f->sem.wait_lock.owner_cpu u32max
PARAM_VALUE 2 fd 4096-ptr_max
PARAM_VALUE 2 fd->size 0-4000000
PARAM_VALUE 3 buf 16,4096-ptr_max
PARAM_VALUE 4 ofs 0
PARAM_VALUE 5 len 0-4000000
BUF_SIZE 0 c 1-s32max
BUF_SIZE 0 c 1-s32max
BUF_SIZE 3 buf 0-u32max
BUF_SIZE 3 buf 0-u32max
CAPPED_DATA 1 &f->sem 1
DATA_SOURCE 3 buf r _kmalloc_noprof
RX_PATH
TASK_NOT_RUNNING
UNITS 0 c unit_byte
UNITS 5 len unit_byte
LOCK2 1 &f->sem
TYPE_LOCK (struct jffs2_inode_info)->sem

fs/jffs2/fs.c jffs2_iget() -> jffs2_read_dnode()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->dirty_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 c->erasable_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 c->erasable_pending_wbuf_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 c->erase_completion_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 c->erase_pending_list.prev->next->next 4096-ptr_max
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->very_dirty_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 c->wbuf_sem.dep_map->name 0-255
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 1 f 4096-ptr_max
PARAM_VALUE 1 f->dents 0
PARAM_VALUE 1 f->flags 0
PARAM_VALUE 1 f->fragtree.rb_node 4096-ptr_max
PARAM_VALUE 1 f->inocache 4096-ptr_max
PARAM_VALUE 1 f->inocache->class 0
PARAM_VALUE 1 f->inocache->flags 0
PARAM_VALUE 1 f->inocache->next 0,4096-ptr_max
PARAM_VALUE 1 f->inocache->nodes 4096-ptr_max
PARAM_VALUE 1 f->inocache->pino_nlink 1
PARAM_VALUE 1 f->inocache->scan_dents 0
PARAM_VALUE 1 f->inocache->state 2
PARAM_VALUE 1 f->inocache->xref 0
PARAM_VALUE 1 f->metadata 4096-ptr_max
PARAM_VALUE 1 f->metadata->raw 0
PARAM_VALUE 1 f->metadata->size 2,4
PARAM_VALUE 1 f->sem.dep_map->name 0-255
PARAM_VALUE 1 f->sem.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 f->sem.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 f->sem.osq.tail.counter 0-s32max
PARAM_VALUE 1 f->sem.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 f->sem.wait_lock.owner (-1)
PARAM_VALUE 1 f->sem.wait_lock.owner_cpu u32max
PARAM_VALUE 1 f->target 0
PARAM_VALUE 1 f->usercompr 0
PARAM_VALUE 2 fd 4096-ptr_max
PARAM_VALUE 2 fd->raw 0
PARAM_VALUE 2 fd->size 2,4
PARAM_VALUE 3 buf 3822762460321460224
PARAM_VALUE 4 ofs 0
PARAM_VALUE 5 len 2,4
BUF_SIZE 0 c 1-s32max
BUF_SIZE 0 c 1-s32max
BUF_SIZE 3 buf 4
CAPPED_DATA 1 &f->sem 1
BIT_INFO 1 f->metadata->size 0x0,0x6
BIT_INFO 2 fd->size 0x0,0x6
BIT_INFO 5 len 0x0,0x6
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 c unit_byte
UNITS 5 len unit_byte
LOCK2 1 &f->sem
TYPE_LOCK (struct jffs2_inode_info)->sem

fs/jffs2/gc.c jffs2_garbage_collect_metadata() -> jffs2_read_dnode()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->alloc_sem.dep_map->name 0-255
PARAM_VALUE 0 c->alloc_sem.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 c->alloc_sem.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 c->alloc_sem.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 c->erase_completion_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 c->gcblock 4096-ptr_max
PARAM_VALUE 0 c->inocache_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 c->wbuf_dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 c->wbuf_dwork.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 c->wbuf_dwork.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 c->wbuf_inodes->ino 0-4294967295
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 f 4096-ptr_max
PARAM_VALUE 1 f->metadata 4096-ptr_max
PARAM_VALUE 1 f->metadata->raw 4096-ptr_max
PARAM_VALUE 1 f->sem.dep_map->name 0-255
PARAM_VALUE 1 f->sem.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 f->sem.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 f->sem.osq.tail.counter 0-s32max
PARAM_VALUE 1 f->sem.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 f->sem.wait_lock.owner (-1)
PARAM_VALUE 1 f->sem.wait_lock.owner_cpu u32max
PARAM_VALUE 2 fd 4096-ptr_max
PARAM_VALUE 2 fd->raw 4096-ptr_max
PARAM_VALUE 2 fd->size 0-4000000
PARAM_VALUE 3 buf 16,4096-ptr_max
PARAM_VALUE 4 ofs 0
PARAM_VALUE 5 len 0-4000000
BUF_SIZE 0 c (-1),1-s32max
BUF_SIZE 0 c (-1),1-s32max
BUF_SIZE 3 buf 0-u32max
BUF_SIZE 3 buf 0-u32max
CAPPED_DATA 0 c->gcblock 1
CAPPED_DATA 1 f->metadata->raw 1
DATA_SOURCE 0 c $0
DATA_SOURCE 1 f $2
DATA_SOURCE 2 fd $3
DATA_SOURCE 3 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 5 len unit_byte
LOCK2 0 &c->alloc_sem
LOCK2 1 &f->sem
HALF_LOCKED2 0 &c->wbuf_sem
TYPE_LOCK (struct jffs2_inode_info)->sem
TYPE_LOCK (struct jffs2_sb_info)->alloc_sem

fs/jffs2/read.c jffs2_read_inode_range() -> jffs2_read_dnode()

Type Parameter Key Value
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 1 f 4096-ptr_max
PARAM_VALUE 2 fd 4096-ptr_max
BUF_SIZE 0 c 1-s32max
BUF_SIZE 0 c 1-s32max
CAPPED_DATA 5 len 1
DATA_SOURCE 0 c $0
DATA_SOURCE 1 f $1
DATA_SOURCE 3 buf $2 [m]
RX_PATH
TASK_NOT_RUNNING
UNITS 0 c unit_byte
UNITS 4 ofs unit_byte
UNITS 5 len unit_byte
HALF_LOCKED2 &c->alloc_sem
HALF_LOCKED2 &f->sem