Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/pnfs_nfs.c pnfs_bucket_fetch_commitdata() -> pnfs_bucket_get_committing()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 0 head->next 4096-ptr_max
PARAM_VALUE 0 head->prev 4096-ptr_max
PARAM_VALUE 1 bucket 4096-ptr_max
PARAM_VALUE 2 cinfo 372900960850735104,6547825919070212096
PARAM_VALUE 2 cinfo->ds 4096-ptr_max
PARAM_VALUE 2 cinfo->ds->ops 4096-ptr_max
PARAM_VALUE 2 cinfo->mds 4096-ptr_max
DATA_SOURCE 1 bucket $0
DATA_SOURCE 2 cinfo $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 cinfo->inode->i_blkbits
NO_OVERFLOW_SIMPLE 2 cinfo->inode->i_ino
NO_OVERFLOW_SIMPLE 2 cinfo->inode->i_linklen
HALF_LOCKED2 &inode->i_rwsem

fs/nfs/pnfs_nfs.c pnfs_generic_retry_commit() -> pnfs_bucket_get_committing()

Type Parameter Key Value
PARAM_VALUE 0 head 5187674544030507008
PARAM_VALUE 0 head->prev 5187674544030507008
PARAM_VALUE 1 bucket 4096-ptr_max
PARAM_VALUE 2 cinfo 372900960850735104,6547825919070212096
PARAM_VALUE 2 cinfo->ds 4096-ptr_max
PARAM_VALUE 2 cinfo->ds->ops 4096-ptr_max
PARAM_VALUE 2 cinfo->mds 4096-ptr_max
CAPPED_DATA 1 &bucket->committing 1
DATA_SOURCE 2 cinfo $2
PARAM_COMPARE 1 &bucket->committing != $1->committing.next
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 cinfo->inode->i_blkbits
NO_OVERFLOW_SIMPLE 2 cinfo->inode->i_ino
NO_OVERFLOW_SIMPLE 2 cinfo->inode->i_linklen
HALF_LOCKED2 &inode->i_rwsem