Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/pagelist.c nfs_pgheader_init() -> nfs_netfs_set_pgio_header()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
PARAM_VALUE 1 desc 4096-ptr_max
BUF_SIZE 0 hdr->dreq (-1),1-s32max
BUF_SIZE 0 hdr->io_completion (-1)-0,24
BUF_SIZE 1 desc->pg_dreq (-1),1-s32max
BUF_SIZE 1 desc->pg_io_completion (-1)-0,24
BUF_SIZE 1 desc->pg_lseg (-1)-0,24,64,96,272
BUF_SIZE 1 desc->pg_netfs (-1),32
BUF_SIZE 1 desc->pg_ops (-1),56
DATA_SOURCE 0 hdr $1
DATA_SOURCE 1 desc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 hdr->inode->i_size
NO_OVERFLOW_SIMPLE 1 desc->pg_error
NO_OVERFLOW_SIMPLE 1 desc->pg_inode->i_size
NO_OVERFLOW_SIMPLE 1 desc->pg_mirror_count
NO_OVERFLOW_SIMPLE 1 desc->pg_mirror_idx