Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ntfs3/frecord.c decompress_lzx_xpress() -> xpress_decompress()

Type Parameter Key Value
PARAM_VALUE 0 decompressor 1-u64max
PARAM_VALUE 1 compressed_data 16,4096-ptr_max
PARAM_VALUE 3 uncompressed_data 1-18446744073709551614
PARAM_VALUE 4 uncompressed_size 0-32768
BUF_SIZE 0 decompressor (-1),11840
BUF_SIZE 1 compressed_data (-1)-s32max
CAPPED_DATA 4 uncompressed_size 1
CAPPED_DATA 4 uncompressed_size 1
DATA_SOURCE 1 compressed_data $1
DATA_SOURCE 2 compressed_size $2
DATA_SOURCE 3 uncompressed_data $3
DATA_SOURCE 4 uncompressed_size $4
FUZZY_MAX 4 uncompressed_size 0
PARAM_COMPARE 2 compressed_size != $4
PARAM_COMPARE 2 compressed_size != $4
PARAM_COMPARE 4 uncompressed_size != $2
RX_PATH
TASK_NOT_RUNNING
UNITS 1 compressed_data unit_byte
UNITS 2 compressed_size unit_byte
UNITS 4 uncompressed_size unit_byte
BYTE_COUNT 1 ==compressed_data2 8050
LOCK2 &sbi->compress.mtx_xpress
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &ni->base->ni_lock
TYPE_LOCK (struct ntfs_sb_info)->compress.mtx_xpress