Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/ext2/inode.c ext2_iget() -> ext2_data_block_valid()

Type Parameter Key Value
PARAM_VALUE 1 start_blk 1-u32max
PARAM_VALUE 2 count 1
BUF_SIZE 0 sbi (-1),768
RX_PATH
TASK_NOT_RUNNING
UNITS 1 start_blk unit_byte

fs/ext2/xattr.c ext2_xattr_delete_inode() -> ext2_data_block_valid()

Type Parameter Key Value
PARAM_VALUE 1 start_blk 0-u32max
PARAM_VALUE 2 count 1
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte
UNITS 1 start_blk unit_byte

fs/ext2/balloc.c ext2_free_blocks() -> ext2_data_block_valid()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
DATA_SOURCE 1 start_blk $1
DATA_SOURCE 2 count $2
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte
UNITS 1 start_blk unit_byte
UNITS 2 count unit_byte
HALF_LOCKED2 &ei->truncate_mutex