Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/write.c nfs_mark_request_commit() -> pnfs_mark_request_commit()

Type Parameter Key Value
PARAM_VALUE 1 lseg->pls_layout->plh_inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 1 lseg->pls_layout->plh_inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 2 cinfo 4096-ptr_max
PARAM_VALUE 2 cinfo->completion_ops->completion 0,4062113542062690304,7551144312497737728
PARAM_VALUE 2 cinfo->completion_ops->resched_write 0,370018759710437376,1223883440206647296
PARAM_VALUE 2 cinfo->ds 0,4096-ptr_max
PARAM_VALUE 2 cinfo->ds->ops->mark_request_commit 0,5185754661043150848,7341153902848835584
BUF_SIZE 0 req (-1),1-s32max
BUF_SIZE 0 req (-1),1-s32max
BUF_SIZE 1 lseg (-1)-0,24,64,96,272
BUF_SIZE 1 lseg (-1)-0,24,64,96,272
DATA_SOURCE 0 req $0
DATA_SOURCE 1 lseg $1
DATA_SOURCE 2 cinfo $2
DATA_SOURCE 3 ds_commit_idx $3
STR_LEN 2 cinfo->inode (-1)
NOSPEC 0 req->wb_bytes
NOSPEC 0 req->wb_head->wb_bytes
NOSPEC 0 req->wb_this_page->wb_bytes
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 req->wb_bytes 0-u32max
USER_DATA 0 req->wb_head->wb_bytes 0-4096[c]
USER_DATA 0 req->wb_head->wb_index 0-2251799813685247
USER_DATA 0 req->wb_head->wb_offset 0-4095[c]
USER_DATA 0 req->wb_head->wb_pgbase 0-4095[c]
USER_DATA 0 req->wb_index 0-2251799813685247
USER_DATA 0 req->wb_offset 0-2000006655[c]
USER_DATA 0 req->wb_pgbase 0-4095[c]
USER_DATA 0 req->wb_this_page->wb_bytes 0-4096[c]
USER_DATA 0 req->wb_this_page->wb_index 0-2251799813685247
USER_DATA 0 req->wb_this_page->wb_offset 0-4095[c]
USER_DATA 0 req->wb_this_page->wb_pgbase 0-4095[c]
NO_OVERFLOW_SIMPLE 2 cinfo->inode->i_blkbits
NO_OVERFLOW_SIMPLE 2 cinfo->inode->i_ino
NO_OVERFLOW_SIMPLE 2 cinfo->inode->i_linklen
NO_OVERFLOW_SIMPLE 2 cinfo->inode->i_size
UNITS 3 ds_commit_idx unit_array_size