Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/nfs/direct.c nfs_direct_commit_complete() -> nfs_mark_request_commit()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->wb_nio 0
PARAM_VALUE 1 lseg 0
PARAM_VALUE 2 cinfo 1509802887155478528
PARAM_VALUE 2 cinfo->completion_ops 2355520384648577024
PARAM_VALUE 2 cinfo->dreq 4096-ptr_max
PARAM_VALUE 2 cinfo->ds 4096-ptr_max
PARAM_VALUE 2 cinfo->mds 4096-ptr_max
PARAM_VALUE 3 ds_commit_idx 0
DATA_SOURCE 0 req r nfs_list_entry
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/nfs/direct.c nfs_direct_resched_write() -> nfs_mark_request_commit()

Type Parameter Key Value
PARAM_VALUE 1 lseg 0
PARAM_VALUE 2 cinfo 4096-ptr_max
PARAM_VALUE 2 cinfo->completion_ops 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->dreq 4096-ptr_max
PARAM_VALUE 2 cinfo->dreq->flags 2,s32max
PARAM_VALUE 2 cinfo->dreq->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 cinfo->ds 4096-ptr_max
PARAM_VALUE 2 cinfo->ds->commits.next 4096-ptr_max
PARAM_VALUE 2 cinfo->ds->commits.next->prev 4096-ptr_max
PARAM_VALUE 2 cinfo->ds->ops 4096-ptr_max
PARAM_VALUE 2 cinfo->ds->ops->mark_request_commit 5185754661043150848,7341153902848835584
PARAM_VALUE 3 ds_commit_idx 0
BUF_SIZE 0 req (-1),1-s32max
BUF_SIZE 0 req (-1),1-s32max
DATA_SOURCE 0 req $1
DATA_SOURCE 2 cinfo $0
FUZZY_MAX 2 cinfo->dreq->flags 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/direct.c nfs_direct_write_completion() -> nfs_mark_request_commit()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
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 9063279243661119488
PARAM_VALUE 2 cinfo->completion_ops 2355520384648577024
PARAM_VALUE 2 cinfo->dreq 4096-ptr_max
PARAM_VALUE 2 cinfo->ds 4096-ptr_max
PARAM_VALUE 2 cinfo->mds 4096-ptr_max
BUF_SIZE 1 lseg (-1)-0,24,64,96,272
BUF_SIZE 1 lseg (-1)-0,24,64,96,272
DATA_SOURCE 0 req r nfs_list_entry
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/direct.c nfs_direct_write_completion() -> nfs_mark_request_commit()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 1 lseg 0
PARAM_VALUE 2 cinfo 9063279243661119488
PARAM_VALUE 2 cinfo->completion_ops 2355520384648577024
PARAM_VALUE 2 cinfo->dreq 4096-ptr_max
PARAM_VALUE 2 cinfo->ds 4096-ptr_max
PARAM_VALUE 2 cinfo->mds 4096-ptr_max
PARAM_VALUE 3 ds_commit_idx 0
DATA_SOURCE 0 req r nfs_list_entry
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/direct.c nfs_direct_write_reschedule() -> nfs_mark_request_commit()

Type Parameter Key Value
PARAM_VALUE 0 req 379123643269148672
PARAM_VALUE 1 lseg 0
PARAM_VALUE 2 cinfo 6082542946687582208
PARAM_VALUE 2 cinfo->completion_ops 2355520384648577024
PARAM_VALUE 2 cinfo->dreq 4096-ptr_max
PARAM_VALUE 2 cinfo->ds 4096-ptr_max
PARAM_VALUE 2 cinfo->mds 4096-ptr_max
PARAM_VALUE 3 ds_commit_idx 0
DATA_SOURCE 0 req r nfs_list_entry
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/nfs/direct.c nfs_direct_write_reschedule_io() -> nfs_mark_request_commit()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 1 lseg 0
PARAM_VALUE 2 cinfo 7320564851484008448
PARAM_VALUE 2 cinfo->completion_ops 2355520384648577024
PARAM_VALUE 2 cinfo->dreq 4096-ptr_max
PARAM_VALUE 2 cinfo->ds 4096-ptr_max
PARAM_VALUE 2 cinfo->mds 4096-ptr_max
PARAM_VALUE 3 ds_commit_idx 0
DATA_SOURCE 0 req r nfs_list_entry
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/nfs/direct.c nfs_direct_write_schedule_iovec() -> nfs_mark_request_commit()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->wb_bytes 0-4096
PARAM_VALUE 0 req->wb_folio 1-u64max
PARAM_VALUE 0 req->wb_head 4096-ptr_max
PARAM_VALUE 0 req->wb_head->wb_bytes 0-4096
PARAM_VALUE 0 req->wb_head->wb_folio 1-u64max
PARAM_VALUE 0 req->wb_head->wb_head 4096-ptr_max
PARAM_VALUE 0 req->wb_head->wb_index 0-2251799813685247
PARAM_VALUE 0 req->wb_head->wb_list.next 1-u64max
PARAM_VALUE 0 req->wb_head->wb_list.prev 1-u64max
PARAM_VALUE 0 req->wb_head->wb_lock_context 4096-ptr_max
PARAM_VALUE 0 req->wb_head->wb_nio 0
PARAM_VALUE 0 req->wb_head->wb_offset 0-4095
PARAM_VALUE 0 req->wb_head->wb_page 1-u64max
PARAM_VALUE 0 req->wb_head->wb_pgbase 0-4095
PARAM_VALUE 0 req->wb_index 0-2251799813685247
PARAM_VALUE 0 req->wb_kref.refcount.refs.counter 1
PARAM_VALUE 0 req->wb_list.next 1-u64max
PARAM_VALUE 0 req->wb_list.next->next 1-u64max
PARAM_VALUE 0 req->wb_list.prev 1-u64max
PARAM_VALUE 0 req->wb_list.prev->next 1-u64max
PARAM_VALUE 0 req->wb_list.prev->prev 1-u64max
PARAM_VALUE 0 req->wb_lock_context 4096-ptr_max
PARAM_VALUE 0 req->wb_lock_context->open_context 4096-ptr_max
PARAM_VALUE 0 req->wb_nio 0
PARAM_VALUE 0 req->wb_offset 0-4095
PARAM_VALUE 0 req->wb_page 1-u64max
PARAM_VALUE 0 req->wb_pgbase 0-4095
PARAM_VALUE 0 req->wb_this_page 4096-ptr_max
PARAM_VALUE 0 req->wb_this_page->wb_bytes 0-4096
PARAM_VALUE 0 req->wb_this_page->wb_folio 1-u64max
PARAM_VALUE 0 req->wb_this_page->wb_head 4096-ptr_max
PARAM_VALUE 0 req->wb_this_page->wb_index 0-2251799813685247
PARAM_VALUE 0 req->wb_this_page->wb_list.next 1-u64max
PARAM_VALUE 0 req->wb_this_page->wb_list.prev 1-u64max
PARAM_VALUE 0 req->wb_this_page->wb_lock_context 4096-ptr_max
PARAM_VALUE 0 req->wb_this_page->wb_nio 0
PARAM_VALUE 0 req->wb_this_page->wb_offset 0-4095
PARAM_VALUE 0 req->wb_this_page->wb_page 1-u64max
PARAM_VALUE 0 req->wb_this_page->wb_pgbase 0-4095
PARAM_VALUE 0 req->wb_this_page->wb_this_page 4096-ptr_max
PARAM_VALUE 1 lseg 0
PARAM_VALUE 2 cinfo 2684605227726979072
PARAM_VALUE 2 cinfo->completion_ops 2355520384648577024
PARAM_VALUE 2 cinfo->dreq 4096-ptr_max
PARAM_VALUE 2 cinfo->ds 4096-ptr_max
PARAM_VALUE 2 cinfo->inode 4096-ptr_max
PARAM_VALUE 2 cinfo->mds 4096-ptr_max
PARAM_VALUE 3 ds_commit_idx 0
CAPPED_DATA 0 req->wb_bytes 1
DATA_SOURCE 0 req r nfs_page_create_from_page
FUZZY_MAX 0 req->wb_pgbase 0
NOSPEC 0 req->wb_bytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 req->wb_bytes 0-4096[c]
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-4095[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]
HALF_LOCKED2 &inode->i_rwsem

fs/nfs/direct.c nfs_direct_write_schedule_iovec() -> nfs_mark_request_commit()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->wb_head 4096-ptr_max
PARAM_VALUE 0 req->wb_head->wb_bytes 0-4096
PARAM_VALUE 0 req->wb_head->wb_folio 1-u64max
PARAM_VALUE 0 req->wb_head->wb_head 4096-ptr_max
PARAM_VALUE 0 req->wb_head->wb_index 0-2251799813685247
PARAM_VALUE 0 req->wb_head->wb_list.next 1-u64max
PARAM_VALUE 0 req->wb_head->wb_list.prev 1-u64max
PARAM_VALUE 0 req->wb_head->wb_lock_context 4096-ptr_max
PARAM_VALUE 0 req->wb_head->wb_nio 0
PARAM_VALUE 0 req->wb_head->wb_offset 0-4095
PARAM_VALUE 0 req->wb_head->wb_page 1-u64max
PARAM_VALUE 0 req->wb_head->wb_pgbase 0-4095
PARAM_VALUE 0 req->wb_list.next->next 1-u64max
PARAM_VALUE 0 req->wb_list.next->prev 4096-ptr_max
PARAM_VALUE 0 req->wb_list.prev->next 1-u64max
PARAM_VALUE 0 req->wb_list.prev->prev 1-u64max
PARAM_VALUE 0 req->wb_lock_context->open_context 4096-ptr_max
PARAM_VALUE 0 req->wb_pgbase 0-4095
PARAM_VALUE 0 req->wb_this_page->wb_bytes 0-4096
PARAM_VALUE 0 req->wb_this_page->wb_folio 1-u64max
PARAM_VALUE 0 req->wb_this_page->wb_head 4096-ptr_max
PARAM_VALUE 0 req->wb_this_page->wb_index 0-2251799813685247
PARAM_VALUE 0 req->wb_this_page->wb_list.next 1-u64max
PARAM_VALUE 0 req->wb_this_page->wb_list.prev 1-u64max
PARAM_VALUE 0 req->wb_this_page->wb_lock_context 4096-ptr_max
PARAM_VALUE 0 req->wb_this_page->wb_nio 0
PARAM_VALUE 0 req->wb_this_page->wb_offset 0-4095
PARAM_VALUE 0 req->wb_this_page->wb_page 1-u64max
PARAM_VALUE 0 req->wb_this_page->wb_pgbase 0-4095
PARAM_VALUE 0 req->wb_this_page->wb_this_page 4096-ptr_max
PARAM_VALUE 1 lseg 0
PARAM_VALUE 2 cinfo 2684605227726979072
PARAM_VALUE 2 cinfo->completion_ops 2355520384648577024
PARAM_VALUE 2 cinfo->dreq 4096-ptr_max
PARAM_VALUE 2 cinfo->ds 4096-ptr_max
PARAM_VALUE 2 cinfo->inode 4096-ptr_max
PARAM_VALUE 2 cinfo->mds 4096-ptr_max
PARAM_VALUE 3 ds_commit_idx 0
DATA_SOURCE 0 req r nfs_page_create_from_page
NOSPEC 0 req->wb_bytes
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 req->wb_bytes 0-u32max[c]
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-4095[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]
HALF_LOCKED2 &inode->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
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 372900960850735104,6547825919070212096
PARAM_VALUE 2 cinfo->ds 0,4096-ptr_max
PARAM_VALUE 2 cinfo->mds 4096-ptr_max
BUF_SIZE 1 lseg (-1)-0,96
BUF_SIZE 1 lseg (-1)-0,96
CAPPED_DATA 3 ds_commit_idx 1
DATA_SOURCE 0 req r nfs_list_entry
DATA_SOURCE 1 lseg $1
DATA_SOURCE 2 cinfo $2
DATA_SOURCE 3 ds_commit_idx $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 cinfo->inode->i_blkbits
NO_OVERFLOW_SIMPLE 2 cinfo->inode->i_ino
NO_OVERFLOW_SIMPLE 2 cinfo->inode->i_linklen
UNITS 3 ds_commit_idx unit_array_size
HALF_LOCKED2 &inode->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->wb_lock_context 4096-ptr_max
PARAM_VALUE 0 req->wb_lock_context->open_context 4096-ptr_max
PARAM_VALUE 0 req->wb_nio 0
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 6644501100327092224
PARAM_VALUE 2 cinfo->completion_ops 8090874710459322368
PARAM_VALUE 2 cinfo->dreq 0
PARAM_VALUE 2 cinfo->ds 0,4096-ptr_max
BUF_SIZE 1 lseg (-1)-0,24,64,96,272
BUF_SIZE 1 lseg (-1)-0,24,64,96,272
DATA_SOURCE 0 req r nfs_list_entry
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL