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 | ®->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 |