Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

fs/nfs/nfs3proc.c nfs3_write_done() -> nfs_writeback_update_inode()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
PARAM_VALUE 0 hdr->pgio_done_cb 0
PARAM_VALUE 0 hdr->rw_ops 4096-ptr_max
BUF_SIZE 0 hdr (-1)-s32max
BUF_SIZE 0 hdr (-1)-s32max
DATA_SOURCE 0 hdr $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/nfs/flexfilelayout/flexfilelayout.c ff_layout_write_done_cb() -> nfs_writeback_update_inode()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
PARAM_VALUE 0 hdr->args.context 4096-ptr_max
PARAM_VALUE 0 hdr->ds_clp 4096-ptr_max
PARAM_VALUE 0 hdr->ds_clp->cl_nfs_mod 4096-ptr_max
PARAM_VALUE 0 hdr->ds_clp->cl_nfs_mod->rpc_vers 4096-ptr_max
PARAM_VALUE 0 hdr->fattr.valid 0
PARAM_VALUE 0 hdr->inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 hdr->inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 hdr->pgio_done_cb 1-u64max
PARAM_VALUE 0 hdr->res.verf 4096-ptr_max
PARAM_VALUE 0 hdr->rw_ops 4096-ptr_max
BUF_SIZE 0 hdr (-1)-s32max
BUF_SIZE 0 hdr (-1)-s32max
DATA_SOURCE 0 hdr $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/nfs/nfs4proc.c nfs4_write_done_cb() -> nfs_writeback_update_inode()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
PARAM_VALUE 0 hdr->inode 4096-ptr_max
PARAM_VALUE 0 hdr->inode->i_sb 4096-ptr_max
PARAM_VALUE 0 hdr->inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 hdr->inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 hdr->rw_ops 4096-ptr_max
BUF_SIZE 0 hdr (-1)-s32max
BUF_SIZE 0 hdr (-1)-s32max
DATA_SOURCE 0 hdr $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/nfs/proc.c nfs_write_done() -> nfs_writeback_update_inode()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
PARAM_VALUE 0 hdr->res.count 0-u32max
PARAM_VALUE 0 hdr->rw_ops 4096-ptr_max
BUF_SIZE 0 hdr (-1)-s32max
BUF_SIZE 0 hdr (-1)-s32max
DATA_SOURCE 0 hdr $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/nfs/filelayout/filelayout.c filelayout_write_done_cb() -> nfs_writeback_update_inode()

Type Parameter Key Value
PARAM_VALUE 0 hdr 4096-ptr_max
PARAM_VALUE 0 hdr->args.context 4096-ptr_max
PARAM_VALUE 0 hdr->ds_clp 4096-ptr_max
PARAM_VALUE 0 hdr->fattr.valid 0
PARAM_VALUE 0 hdr->inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 hdr->inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 hdr->lseg 4096-ptr_max
PARAM_VALUE 0 hdr->lseg->pls_layout 4096-ptr_max
PARAM_VALUE 0 hdr->pgio_done_cb 1-u64max
PARAM_VALUE 0 hdr->rw_ops 4096-ptr_max
BUF_SIZE 0 hdr (-1)-s32max
BUF_SIZE 0 hdr (-1)-s32max
DATA_SOURCE 0 hdr $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock