Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/jffs2/file.c jffs2_do_readpage_nolock() -> jffs2_read_inode_range()

Type Parameter Key Value
PARAM_VALUE 1 f 4096-ptr_max
PARAM_VALUE 4 len 4096
BUF_SIZE 0 c 1-s32max
BUF_SIZE 0 c 1-s32max
DATA_SOURCE 2 buf r kmap_local_folio
BIT_INFO 3 offset 0x0,0xfffffffffffff000
RX_PATH
TASK_NOT_RUNNING
UNITS 0 c unit_byte
UNITS 3 offset unit_byte
UNITS 4 len unit_byte
HALF_LOCKED2 &c->alloc_sem
HALF_LOCKED2 &f->sem