Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ocfs2/cluster/heartbeat.c o2hb_region_dev_store() -> o2hb_map_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
CAPPED_DATA 0 reg->hr_bdev_file->f_cred 1
CAPPED_DATA 0 reg->hr_block_bytes 1
DATA_SOURCE 0 reg r to_o2hb_region
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 reg->hr_bdev_file->f_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 reg->hr_bdev_file->f_inode->i_size
LOCK2 &buffer->mutex
LOCK2 &frag->frag_sem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct configfs_buffer)->mutex
TYPE_LOCK (struct configfs_fragment)->frag_sem