Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/nfs/pnfs_nfs.c pnfs_generic_commit_pagelist() -> nfs_init_commit()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->completion_ops->completion 0,4062113542062690304,7551144312497737728
PARAM_VALUE 0 data->completion_ops->resched_write 0,370018759710437376,1223883440206647296
PARAM_VALUE 0 data->ds_commit_index s32min-(-1)
PARAM_VALUE 0 data->lseg->pls_layout->plh_inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 data->lseg->pls_layout->plh_inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 data->mds_ops->rpc_count_stats 0,2640788336784982016,3861909281669062656,5712143969323376640,6934541384086298624,8102538664466558976,8438377328849952768
PARAM_VALUE 0 data->res.seq_res.sr_slot_ops->done 0,6816862077787136000,7810553299938279424
PARAM_VALUE 0 data->res.seq_res.sr_slot_ops->free_slot 0,5997148140414332928,8851380967264305152
PARAM_VALUE 0 data->res.seq_res.sr_slot_ops->process 0,5343676044341161984,6816862077787136000
PARAM_VALUE 1 head 0
PARAM_VALUE 2 lseg 0
PARAM_VALUE 3 cinfo 372900960850735104,6547825919070212096
PARAM_VALUE 3 cinfo->completion_ops 2355520384648577024,8090874710459322368
PARAM_VALUE 3 cinfo->dreq 0,4096-ptr_max
PARAM_VALUE 3 cinfo->dreq->flags 2,s32max
PARAM_VALUE 3 cinfo->dreq->lock.rlock.dep_map->name 0-255
PARAM_VALUE 3 cinfo->ds 4096-ptr_max
PARAM_VALUE 3 cinfo->ds->commits.next 4096-ptr_max
PARAM_VALUE 3 cinfo->ds->commits.next->prev 4096-ptr_max
PARAM_VALUE 3 cinfo->ds->commits.next->prev->prev 4096-ptr_max
PARAM_VALUE 3 cinfo->ds->ops 4096-ptr_max
PARAM_VALUE 3 cinfo->inode->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 3 cinfo->mds 4096-ptr_max
PARAM_VALUE 3 cinfo->mds->list.prev 4096-ptr_max
PARAM_VALUE 3 cinfo->mds->list.prev->next 4096-ptr_max
PARAM_VALUE 3 cinfo->mds->list.prev->next->next 4096-ptr_max
DATA_SOURCE 3 cinfo $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 3 cinfo->inode->i_blkbits
NO_OVERFLOW_SIMPLE 3 cinfo->inode->i_ino
NO_OVERFLOW_SIMPLE 3 cinfo->inode->i_linklen
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock

fs/nfs/pnfs_nfs.c pnfs_generic_commit_pagelist() -> nfs_init_commit()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->completion_ops->completion 0,4062113542062690304,7551144312497737728
PARAM_VALUE 0 data->completion_ops->resched_write 0,370018759710437376,1223883440206647296
PARAM_VALUE 0 data->ds_commit_index 0-s32max
PARAM_VALUE 0 data->lseg->pls_layout->plh_inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 data->lseg->pls_layout->plh_inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 data->mds_ops->rpc_count_stats 0,2640788336784982016,3861909281669062656,5712143969323376640,6934541384086298624,8102538664466558976,8438377328849952768
PARAM_VALUE 0 data->res.seq_res.sr_slot_ops->done 0,6816862077787136000,7810553299938279424
PARAM_VALUE 0 data->res.seq_res.sr_slot_ops->free_slot 0,5997148140414332928,8851380967264305152
PARAM_VALUE 0 data->res.seq_res.sr_slot_ops->process 0,5343676044341161984,6816862077787136000
PARAM_VALUE 1 head 0
PARAM_VALUE 2 lseg->pls_layout->plh_inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 2 lseg->pls_layout->plh_inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 3 cinfo 372900960850735104,6547825919070212096
PARAM_VALUE 3 cinfo->completion_ops 2355520384648577024,8090874710459322368
PARAM_VALUE 3 cinfo->dreq 0,4096-ptr_max
PARAM_VALUE 3 cinfo->dreq->flags 2,s32max
PARAM_VALUE 3 cinfo->dreq->lock.rlock.dep_map->name 0-255
PARAM_VALUE 3 cinfo->ds 4096-ptr_max
PARAM_VALUE 3 cinfo->ds->commits.next 4096-ptr_max
PARAM_VALUE 3 cinfo->ds->commits.next->prev 4096-ptr_max
PARAM_VALUE 3 cinfo->ds->commits.next->prev->prev 4096-ptr_max
PARAM_VALUE 3 cinfo->ds->ops 4096-ptr_max
PARAM_VALUE 3 cinfo->inode->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 3 cinfo->mds 4096-ptr_max
PARAM_VALUE 3 cinfo->mds->list.prev 4096-ptr_max
PARAM_VALUE 3 cinfo->mds->list.prev->next 4096-ptr_max
PARAM_VALUE 3 cinfo->mds->list.prev->next->next 4096-ptr_max
DATA_SOURCE 3 cinfo $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 3 cinfo->inode->i_blkbits
NO_OVERFLOW_SIMPLE 3 cinfo->inode->i_ino
NO_OVERFLOW_SIMPLE 3 cinfo->inode->i_linklen
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock

fs/nfs/write.c nfs_commit_list() -> nfs_init_commit()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->pages.next 4096-ptr_max
PARAM_VALUE 0 data->pages.next->next 4096-ptr_max
PARAM_VALUE 0 data->pages.prev 4096-ptr_max
PARAM_VALUE 0 data->pages.prev->next 4096-ptr_max
PARAM_VALUE 0 data->pages.prev->prev 4096-ptr_max
PARAM_VALUE 1 head 1299022178434179072,5632522301241761792
PARAM_VALUE 2 lseg 0
PARAM_VALUE 3 cinfo 372900960850735104,6547825919070212096
PARAM_VALUE 3 cinfo->ds 0,4096-ptr_max
PARAM_VALUE 3 cinfo->ds->ncommitting 0
PARAM_VALUE 3 cinfo->mds 4096-ptr_max
CAPPED_DATA 1 head 1
DATA_SOURCE 0 data r nfs_commitdata_alloc
DATA_SOURCE 1 head $1
DATA_SOURCE 3 cinfo $3
PARAM_COMPARE 1 head != $1->next
PARAM_COMPARE 1 head != $1->next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem