Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ocfs2/cluster/heartbeat.c o2hb_map_slot_data() -> o2hb_unmap_slot_data()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
PARAM_VALUE 0 reg->hr_aborted_start 0
PARAM_VALUE 0 reg->hr_bdev_file 4096-ptr_max
PARAM_VALUE 0 reg->hr_bdev_file->__f_path.dentry 4096-ptr_max
PARAM_VALUE 0 reg->hr_bdev_file->__f_path.mnt 0
PARAM_VALUE 0 reg->hr_bdev_file->f_cred 0,4096-ptr_max
PARAM_VALUE 0 reg->hr_bdev_file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 reg->hr_bdev_file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 reg->hr_bdev_file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 reg->hr_bdev_file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 reg->hr_bdev_file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 reg->hr_bdev_file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 reg->hr_bdev_file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 reg->hr_bdev_file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 reg->hr_bdev_file->f_ep 0
PARAM_VALUE 0 reg->hr_bdev_file->f_flags 0,32768-u32max
PARAM_VALUE 0 reg->hr_bdev_file->f_inode 4096-ptr_max
PARAM_VALUE 0 reg->hr_bdev_file->f_iocb_flags 0,2,16,18,131072,131074,131088,131090
PARAM_VALUE 0 reg->hr_bdev_file->f_mapping 4096-ptr_max
PARAM_VALUE 0 reg->hr_bdev_file->f_mode 0,64-u32max
PARAM_VALUE 0 reg->hr_bdev_file->f_op 8212791493360840704
PARAM_VALUE 0 reg->hr_bdev_file->f_owner 0
PARAM_VALUE 0 reg->hr_bdev_file->f_pos 0
PARAM_VALUE 0 reg->hr_bdev_file->f_pos_lock.dep_map->name 0-255
PARAM_VALUE 0 reg->hr_bdev_file->f_pos_lock.magic 4096-ptr_max
PARAM_VALUE 0 reg->hr_bdev_file->f_ra.async_size 0
PARAM_VALUE 0 reg->hr_bdev_file->f_ra.mmap_miss 0
PARAM_VALUE 0 reg->hr_bdev_file->f_ra.order 0
PARAM_VALUE 0 reg->hr_bdev_file->f_ra.prev_pos 0
PARAM_VALUE 0 reg->hr_bdev_file->f_ra.ra_pages 0
PARAM_VALUE 0 reg->hr_bdev_file->f_ra.size 0
PARAM_VALUE 0 reg->hr_bdev_file->f_ra.start 0
PARAM_VALUE 0 reg->hr_bdev_file->f_ref.refcnt.counter 0
PARAM_VALUE 0 reg->hr_bdev_file->f_sb_err 0
PARAM_VALUE 0 reg->hr_bdev_file->private_data 0
PARAM_VALUE 0 reg->hr_block_bytes 1-u32max
PARAM_VALUE 0 reg->hr_blocks 1-u32max
PARAM_VALUE 0 reg->hr_generation 1-u64max
PARAM_VALUE 0 reg->hr_node_deleted 0
PARAM_VALUE 0 reg->hr_node_num 0-254
PARAM_VALUE 0 reg->hr_start_block 1-u64max
PARAM_VALUE 0 reg->hr_timeout_ms 2000
PARAM_VALUE 0 reg->hr_tmp_block 0,4096-ptr_max
BUF_SIZE 0 reg->hr_slot_data 0-34359738360,u64max
BUF_SIZE 0 reg->hr_slots 56-240518168520,u64max
BUF_SIZE 0 reg->hr_tmp_block 1-u32max
CAPPED_DATA 0 reg->hr_bdev_file->f_cred 1
CAPPED_DATA 0 reg->hr_block_bytes 1
CAPPED_DATA 0 reg->hr_blocks 1
DATA_SOURCE 0 reg $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 reg->hr_bdev_file->f_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 reg->hr_bdev_file->f_inode->i_size
NO_OVERFLOW_SIMPLE 0 reg->hr_blocks
NO_OVERFLOW_SIMPLE 0 reg->hr_num_pages
LOCK2 &buffer->mutex
LOCK2 &frag->frag_sem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct configfs_buffer)->mutex
TYPE_LOCK (struct configfs_fragment)->frag_sem

fs/ocfs2/cluster/heartbeat.c o2hb_region_dev_store() -> o2hb_unmap_slot_data()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
PARAM_VALUE 0 reg->hr_arming_mutex.dep_map->name 0-255
PARAM_VALUE 0 reg->hr_arming_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 reg->hr_arming_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 reg->hr_arming_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 reg->hr_arming_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 reg->hr_arming_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 reg->hr_arming_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 reg->hr_arming_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 reg->hr_arming_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 reg->hr_bdev_file 4096-ptr_max
PARAM_VALUE 0 reg->hr_bdev_file->__f_path.dentry 4096-ptr_max
PARAM_VALUE 0 reg->hr_bdev_file->__f_path.mnt 0
PARAM_VALUE 0 reg->hr_bdev_file->f_cred 0,4096-ptr_max
PARAM_VALUE 0 reg->hr_bdev_file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 reg->hr_bdev_file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 reg->hr_bdev_file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 reg->hr_bdev_file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 reg->hr_bdev_file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 reg->hr_bdev_file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 reg->hr_bdev_file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 reg->hr_bdev_file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 reg->hr_bdev_file->f_ep 0
PARAM_VALUE 0 reg->hr_bdev_file->f_flags 0,32768-u32max
PARAM_VALUE 0 reg->hr_bdev_file->f_inode 4096-ptr_max
PARAM_VALUE 0 reg->hr_bdev_file->f_iocb_flags 0,2,16,18,131072,131074,131088,131090
PARAM_VALUE 0 reg->hr_bdev_file->f_mapping 4096-ptr_max
PARAM_VALUE 0 reg->hr_bdev_file->f_mode 0,64-u32max
PARAM_VALUE 0 reg->hr_bdev_file->f_op 8212791493360840704
PARAM_VALUE 0 reg->hr_bdev_file->f_owner 0
PARAM_VALUE 0 reg->hr_bdev_file->f_pos 0
PARAM_VALUE 0 reg->hr_bdev_file->f_pos_lock.dep_map->name 0-255
PARAM_VALUE 0 reg->hr_bdev_file->f_pos_lock.magic 4096-ptr_max
PARAM_VALUE 0 reg->hr_bdev_file->f_ra.async_size 0
PARAM_VALUE 0 reg->hr_bdev_file->f_ra.mmap_miss 0
PARAM_VALUE 0 reg->hr_bdev_file->f_ra.order 0
PARAM_VALUE 0 reg->hr_bdev_file->f_ra.prev_pos 0
PARAM_VALUE 0 reg->hr_bdev_file->f_ra.ra_pages 0
PARAM_VALUE 0 reg->hr_bdev_file->f_ra.size 0
PARAM_VALUE 0 reg->hr_bdev_file->f_ra.start 0
PARAM_VALUE 0 reg->hr_bdev_file->f_ref.refcnt.counter 0
PARAM_VALUE 0 reg->hr_bdev_file->f_sb_err 0
PARAM_VALUE 0 reg->hr_bdev_file->private_data 0
PARAM_VALUE 0 reg->hr_block_bytes 1-u32max
PARAM_VALUE 0 reg->hr_blocks 1-u32max
PARAM_VALUE 0 reg->hr_nego_timeout_work.work.lockdep_map->name 0-255
PARAM_VALUE 0 reg->hr_node_num 0-254
PARAM_VALUE 0 reg->hr_start_block 1-u64max
PARAM_VALUE 0 reg->hr_stopping 1
PARAM_VALUE 0 reg->hr_task 0
PARAM_VALUE 0 reg->hr_write_timeout_work.work.lockdep_map->name 0-255
CAPPED_DATA 0 reg->hr_bdev_file->f_cred 1
CAPPED_DATA 0 reg->hr_block_bytes 1
CAPPED_DATA 0 reg->hr_blocks 1
DATA_SOURCE 0 reg r to_o2hb_region
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 reg->hr_bdev_file->f_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 reg->hr_bdev_file->f_inode->i_size
NO_OVERFLOW_SIMPLE 0 reg->hr_blocks
NO_OVERFLOW_SIMPLE 0 reg->hr_num_pages
LOCK2 &buffer->mutex
LOCK2 &frag->frag_sem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct configfs_buffer)->mutex
TYPE_LOCK (struct configfs_fragment)->frag_sem

fs/ocfs2/cluster/heartbeat.c o2hb_region_release() -> o2hb_unmap_slot_data()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
PARAM_VALUE 0 reg->hr_arming_mutex.dep_map->name 0-255
PARAM_VALUE 0 reg->hr_arming_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 reg->hr_arming_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 reg->hr_arming_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 reg->hr_arming_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 reg->hr_arming_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 reg->hr_arming_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 reg->hr_arming_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 reg->hr_arming_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 reg->hr_nego_timeout_work.work.lockdep_map->name 0-255
PARAM_VALUE 0 reg->hr_stopping 1
PARAM_VALUE 0 reg->hr_write_timeout_work.work.lockdep_map->name 0-255
CAPPED_DATA 0 &reg->hr_handler_list 1
DATA_SOURCE 0 reg r to_o2hb_region
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dir->i_rwsem
HALF_LOCKED2 &hba->hba_access_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &opts->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &subsys->su_mutex
HALF_LOCKED2 &target->i_rwsem
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &dynamic_netconsole_mutex
HALF_LOCKED2 global &func_lock
HALF_LOCKED2 global &target_cleanup_list_lock
HALF_LOCKED2 global &target_list_lock
HALF_LOCKED2 su_mutex