Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/fuse/file.c fuse_do_readfolio() -> fuse_short_read()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->i_sb 4096-ptr_max
PARAM_VALUE 2 num_read 0-4294967294
PARAM_VALUE 3 ap 1559597108474576952
PARAM_VALUE 3 ap->args.end 0
PARAM_VALUE 3 ap->args.in_numargs 1
PARAM_VALUE 3 ap->args.out_argvar 1
PARAM_VALUE 3 ap->args.out_numargs 1
PARAM_VALUE 3 ap->args.out_pages 1
PARAM_VALUE 3 ap->args.page_zeroing 1
PARAM_VALUE 3 ap->args.pid 0-s32max
PARAM_VALUE 3 ap->descs 3350219183320424448
PARAM_VALUE 3 ap->num_folios 1
PARAM_VALUE 3 *ap->folios 4096-ptr_max
CAPPED_DATA 2 num_read 1
DATA_SOURCE 2 num_read r fuse_simple_request
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 num_read unit_byte

fs/fuse/file.c fuse_readpages_end() -> fuse_short_read()

Type Parameter Key Value
PARAM_VALUE 2 num_read 0-4294967294
PARAM_VALUE 3 ap 4096-ptr_max
PARAM_VALUE 3 ap->folios 4096-ptr_max
BUF_SIZE 3 ap 184
CAPPED_DATA 2 num_read 1
CAPPED_DATA 2 num_read 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 num_read unit_byte