Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/nfs/filelayout/filelayout.c filelayout_mark_request_commit() -> pnfs_layout_mark_request_commit()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 1 lseg 1-u64max
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 1 lseg->pls_layout->plh_lc_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 lseg->pls_layout->plh_lc_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 lseg->pls_layout->plh_lc_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 1 lseg->pls_layout->plh_lc_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 1 lseg->pls_layout->plh_lc_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 lseg->pls_layout->plh_lc_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 lseg->pls_layout->plh_lc_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 lseg->pls_layout->plh_lc_cred->thread_keyring->user->qnkeys s32min-s32max
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 4096-ptr_max
PARAM_VALUE 2 cinfo->ds->ops 4096-ptr_max
PARAM_VALUE 2 cinfo->ds->ops->mark_request_commit 5185754661043150848,7341153902848835584
BUF_SIZE 0 req (-1)-s32max
BUF_SIZE 0 req (-1)-s32max
BUF_SIZE 1 lseg (-1)-0,24,64,96,272
BUF_SIZE 1 lseg (-1)-0,24,64,96,272
CAPPED_DATA 3 ds_commit_idx 1
DATA_SOURCE 0 req $0
DATA_SOURCE 1 lseg $1
DATA_SOURCE 2 cinfo $2
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
NOCHECK_CALL
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
HALF_LOCKED2 &pool->lock

fs/nfs/write.c pnfs_mark_request_commit() -> (struct pnfs_commit_ops)->mark_request_commit()

Type Parameter Key Value
PARAM_VALUE 1 lseg 1-u64max
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 4096-ptr_max
PARAM_VALUE 2 cinfo->ds->ops 4096-ptr_max
PARAM_VALUE 2 cinfo->ds->ops->mark_request_commit 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
NOCHECK_CALL
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