Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ext4/mballoc.c ext4_mb_group_or_file() -> extent_logical_end()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
PARAM_VALUE 1 fex 4096-ptr_max
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
NOSPEC 1 fex->fe_len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 fex->fe_group 0-u32max
USER_DATA 1 fex->fe_len 1-s32max[c]
USER_DATA 1 fex->fe_logical 0-4294967294[c]
USER_DATA 1 fex->fe_start 0-s32max[c]
UNITS 0 sbi unit_byte

fs/ext4/mballoc.c ext4_mb_new_inode_pa() -> extent_logical_end()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
PARAM_VALUE 1 fex 7946599336126353408
PARAM_VALUE 1 fex->fe_len (-2147483646)-s32max
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
NOSPEC 1 fex->fe_len
NOSPEC 1 fex->fe_logical
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 fex->fe_len 1-s32max[c]
USER_DATA 1 fex->fe_logical 0-u32max
UNITS 0 sbi unit_byte
HALF_LOCKED2 ac->ac_sb

fs/ext4/mballoc.c ext4_mb_new_inode_pa() -> extent_logical_end()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
PARAM_VALUE 1 fex 4096-ptr_max
PARAM_VALUE 1 fex->fe_len s32min-2147483646
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
NOSPEC 1 fex->fe_len
NOSPEC 1 fex->fe_logical
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 fex->fe_group 0-u32max
USER_DATA 1 fex->fe_len 1-2147483646[c]
USER_DATA 1 fex->fe_logical 0-4294967294[c]
USER_DATA 1 fex->fe_start 0-s32max[c]
UNITS 0 sbi unit_byte
HALF_LOCKED2 ac->ac_sb

fs/ext4/mballoc.c ext4_mb_new_inode_pa() -> extent_logical_end()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
PARAM_VALUE 1 fex 7946599336126353408
PARAM_VALUE 1 fex->fe_len (-2147483647)-2147483646
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
NOSPEC 1 fex->fe_len
NOSPEC 1 fex->fe_logical
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 fex->fe_len (-2147483647)-2147483646[c]
USER_DATA 1 fex->fe_logical 0-u32max
UNITS 0 sbi unit_byte
HALF_LOCKED2 ac->ac_sb

fs/ext4/mballoc.c ext4_mb_new_inode_pa() -> extent_logical_end()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
PARAM_VALUE 1 fex 7946599336126353408
PARAM_VALUE 1 fex->fe_len (-2147483647)-2147483646
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
NOSPEC 1 fex->fe_len
NOSPEC 1 fex->fe_logical
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 fex->fe_len (-2147483647)-2147483646[c]
USER_DATA 1 fex->fe_logical 0-u32max[c]
UNITS 0 sbi unit_byte
HALF_LOCKED2 ac->ac_sb

fs/ext4/mballoc.c ext4_mb_normalize_request() -> extent_logical_end()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
PARAM_VALUE 1 fex 4096-ptr_max
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
NOSPEC 1 fex->fe_len
NOSPEC 1 fex->fe_logical
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 fex->fe_group 0-u32max
USER_DATA 1 fex->fe_len 1-s32max[c]
USER_DATA 1 fex->fe_logical 0-4294967294[c]
USER_DATA 1 fex->fe_start 0-s32max[c]
UNITS 0 sbi unit_byte