Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ocfs2/cluster/heartbeat.c o2hb_prepare_block() -> o2hb_compute_block_crc_le()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
PARAM_VALUE 0 reg->hr_aborted_start 0
PARAM_VALUE 0 reg->hr_block_bytes 0-u32max
PARAM_VALUE 0 reg->hr_node_num 0-254
PARAM_VALUE 0 reg->hr_slots 4096-ptr_max
PARAM_VALUE 0 reg->hr_unclean_stop 0
PARAM_VALUE 1 hb_block 4096-ptr_max
PARAM_VALUE 1 hb_block->hb_node 0-254
PARAM_VALUE 1 hb_block->hb_seq 1-u64max
BUF_SIZE 0 reg 128
BUF_SIZE 0 reg 128
CAPPED_DATA 0 reg->hr_node_num 1
CAPPED_DATA 1 hb_block->hb_node 1
DATA_SOURCE 0 reg $0
BIT_INFO 1 hb_block->hb_seq 0x0,0x7fffffffffffffff
MEM_ZERO 1 hb_block

fs/ocfs2/cluster/heartbeat.c o2hb_verify_crc() -> o2hb_compute_block_crc_le()

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 0,4096-ptr_max
PARAM_VALUE 0 reg->hr_node_num 0-254
PARAM_VALUE 0 reg->hr_slots 4096-ptr_max
PARAM_VALUE 0 reg->hr_unclean_stop 0
PARAM_VALUE 1 hb_block 4096-ptr_max
BUF_SIZE 0 reg 128
BUF_SIZE 0 reg 128
CAPPED_DATA 0 reg->hr_node_num 1
DATA_SOURCE 0 reg $0
DATA_SOURCE 1 hb_block $1