Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/nfsd/nfs4state.c nfs4_release_reclaim() -> nfs4_remove_reclaim_record()

Type Parameter Key Value
PARAM_VALUE 1 nn 4096-ptr_max
PARAM_VALUE 1 nn->client_tracking_ops->check 0,1695983822960852992,2555212285749985280,2900465281000538112,5450751117530771456,7717938630059085824
PARAM_VALUE 1 nn->client_tracking_ops->create 0,905170447469613056,2768423697968418816,3304648989800706048,4748733081591595008
PARAM_VALUE 1 nn->client_tracking_ops->exit 0,2536535118317887488,4644949814267768832,8715112768333672448
PARAM_VALUE 1 nn->client_tracking_ops->grace_done 0,2007123946083020800,3221870740789850112,7692748687154159616,8628388364143263744
PARAM_VALUE 1 nn->client_tracking_ops->init 0,1460374328883916800,2455882347871662080,3693952754244001792,5648801767911665664
PARAM_VALUE 1 nn->client_tracking_ops->msglen 0,1034,1067
PARAM_VALUE 1 nn->client_tracking_ops->remove 0,414639034441572352,2879395234235461632,8214528436145025024
PARAM_VALUE 1 nn->client_tracking_ops->version 0-2
PARAM_VALUE 1 nn->rec_file->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 nn->rec_file->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 nn->rec_file->f_path.dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 nn->rec_file->f_path.dentry->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 nn->reclaim_str_hashtbl 4096-ptr_max
PARAM_VALUE 1 nn->reclaim_str_hashtbl_lock.dep_map->name 0-255
PARAM_VALUE 1 nn->reclaim_str_hashtbl_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 1 nn->reclaim_str_hashtbl_lock.first_waiter->list.next 2624917664208203776
PARAM_VALUE 1 nn->reclaim_str_hashtbl_lock.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 1 nn->reclaim_str_hashtbl_lock.first_waiter->type 0-1
PARAM_VALUE 1 nn->reclaim_str_hashtbl_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 nn->reclaim_str_hashtbl_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 nn->reclaim_str_hashtbl_lock.wait_lock.owner (-1)
PARAM_VALUE 1 nn->reclaim_str_hashtbl_lock.wait_lock.owner_cpu u32max
CAPPED_DATA 1 &nn->reclaim_str_hashtbl_lock 1
DATA_SOURCE 1 nn $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 1 &nn->reclaim_str_hashtbl_lock
HALF_LOCKED2 global &nfsd_mutex
TYPE_LOCK (struct nfsd_net)->reclaim_str_hashtbl_lock

fs/nfsd/nfs4recover.c __nfsd4_remove_reclaim_record_grace() -> nfs4_remove_reclaim_record()

Type Parameter Key Value
PARAM_VALUE 0 crp 4096-ptr_max
PARAM_VALUE 1 nn 4096-ptr_max
PARAM_VALUE 1 nn->rec_file 4096-ptr_max
PARAM_VALUE 1 nn->rec_file->f_mapping 4096-ptr_max
PARAM_VALUE 1 nn->rec_file->f_mapping->host->i_io_list.next 4096-ptr_max
PARAM_VALUE 1 nn->rec_file->f_mapping->host->i_io_list.prev 4096-ptr_max
PARAM_VALUE 1 nn->rec_file->f_mapping->host->i_io_list.prev->next 4096-ptr_max
PARAM_VALUE 1 nn->rec_file->f_mapping->host->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 nn->rec_file->f_mapping->host->i_wb->dwork->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 1 nn->rec_file->f_mapping->host->i_wb->dwork.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 1 nn->rec_file->f_mapping->host->i_wb->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 nn->rec_file->f_mapping->host->i_wb->work_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 nn->rec_file->f_op 4096-ptr_max
PARAM_VALUE 1 nn->rec_file->f_path.dentry->d_children->first->pprev 1-u64max
PARAM_VALUE 1 nn->rec_file->f_path.dentry->d_children.first 4096-ptr_max
PARAM_VALUE 1 nn->rec_file->f_path.dentry->d_inode->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 nn->rec_file->f_path.dentry->d_inode->i_rwsem.dep_map->name 0-255
PARAM_VALUE 1 nn->rec_file->f_path.dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 nn->rec_file->f_path.dentry->d_inode->i_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 1 nn->rec_file->f_path.dentry->d_inode->i_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 1 nn->rec_file->f_path.dentry->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 nn->rec_file->f_path.dentry->d_inode->i_rwsem.osq.tail.counter 0-s32max
PARAM_VALUE 1 nn->rec_file->f_path.dentry->d_sb 4096-ptr_max
PARAM_VALUE 1 nn->rec_file->f_path.dentry->d_sb->s_fs_info->s_bmap_bits 0-4294967295
PARAM_VALUE 1 nn->rec_file->f_path.dentry->d_sb->s_fs_info->s_bmap_count 0-4294967295
PARAM_VALUE 1 nn->rec_file->f_path.dentry->d_sb->s_fs_info->s_data_blksize 0-4294967295
PARAM_VALUE 1 nn->rec_file->f_path.dentry->d_sb->s_fs_info->s_hashsize s32min-s32max
PARAM_VALUE 1 nn->rec_file->f_path.dentry->d_sb->s_fs_info->s_last_bmap 0-4294967295
PARAM_VALUE 1 nn->rec_file->f_path.dentry->d_sb->s_fs_info->s_mode 0-u16max
PARAM_VALUE 1 nn->rec_file->f_path.dentry->d_sb->s_fs_info->s_partition_size s32min-s32max
PARAM_VALUE 1 nn->rec_file->f_path.dentry->d_sb->s_fs_info->s_reserved s32min-s32max
PARAM_VALUE 1 nn->rec_file->f_path.dentry->d_sb->s_fs_info->s_root_block 0-4294967295
PARAM_VALUE 1 nn->rec_file->f_path.dentry->d_sb->s_fs_info->work_queued s32min-s32max
PARAM_VALUE 1 nn->reclaim_str_hashtbl 4096-ptr_max
PARAM_VALUE 1 nn->reclaim_str_hashtbl_lock.dep_map->name 0-255
PARAM_VALUE 1 nn->reclaim_str_hashtbl_lock.first_waiter->list.next 2624917664208203776
PARAM_VALUE 1 nn->reclaim_str_hashtbl_lock.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 1 nn->reclaim_str_hashtbl_lock.first_waiter->type 0-1
PARAM_VALUE 1 nn->reclaim_str_hashtbl_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 nn->reclaim_str_hashtbl_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 nn->reclaim_str_hashtbl_lock.wait_lock.owner (-1)
PARAM_VALUE 1 nn->reclaim_str_hashtbl_lock.wait_lock.owner_cpu u32max
CAPPED_DATA 0 crp->cr_name.len 1
CAPPED_DATA 1 &nn->reclaim_str_hashtbl_lock 1
DATA_SOURCE 0 crp r nfsd4_find_reclaim_client
DATA_SOURCE 1 nn $2
NOCHECK_CALL
LOCK2 1 &nn->reclaim_str_hashtbl_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct nfsd_net)->reclaim_str_hashtbl_lock