Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/gfs2/bmap.c punch_hole() -> metapointer_range()

Type Parameter Key Value
PARAM_VALUE 0 mp 8924241071617146880
PARAM_VALUE 0 mp->mp_fheight 0-255
PARAM_VALUE 1 height 0-s32max
PARAM_VALUE 2 start_list 7797726042927820800
PARAM_VALUE 3 start_aligned 0-254,2147483648-u32max
PARAM_VALUE 4 end_list 0,6101651554271481856
PARAM_VALUE 6 start 8577560577119821824
PARAM_VALUE 7 end 5146957649599619072
BUF_SIZE 2 start_list 20
BUF_SIZE 4 end_list 0,20
BUF_SIZE 4 end_list 0,20
CAPPED_DATA 1 height 1
CAPPED_DATA 3 start_aligned 1
BIT_INFO 3 start_aligned 0x0,0xff
BIT_INFO 4 end_list 0x0,0x54ad6bc2bb8fd000
BIT_INFO 4 end_list 0x0,0x54ad6bc2bb8fd000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem

fs/gfs2/bmap.c punch_hole() -> metapointer_range()

Type Parameter Key Value
PARAM_VALUE 0 mp 8924241071617146880
PARAM_VALUE 0 mp->mp_fheight 0-255
PARAM_VALUE 1 height (-1)-254
PARAM_VALUE 2 start_list 7797726042927820800
PARAM_VALUE 3 start_aligned 0-254,2147483648-u32max
PARAM_VALUE 4 end_list 0,6101651554271481856
PARAM_VALUE 5 end_aligned 0
PARAM_VALUE 6 start 8577560577119821824
PARAM_VALUE 7 end 5146957649599619072
BUF_SIZE 2 start_list 20
BUF_SIZE 4 end_list 0,20
BUF_SIZE 4 end_list 0,20
CAPPED_DATA 1 height 1
CAPPED_DATA 3 start_aligned 1
PARAM_COMPARE 1 height >= $3
PARAM_COMPARE 3 start_aligned <= $1
BIT_INFO 3 start_aligned 0x0,0xff
BIT_INFO 4 end_list 0x0,0x54ad6bc2bb8fd000
BIT_INFO 4 end_list 0x0,0x54ad6bc2bb8fd000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem

fs/gfs2/bmap.c punch_hole() -> metapointer_range()

Type Parameter Key Value
PARAM_VALUE 0 mp 8924241071617146880
PARAM_VALUE 0 mp->mp_aheight 2-s32max
PARAM_VALUE 0 mp->mp_fheight 0-255
PARAM_VALUE 2 start_list 7797726042927820800
PARAM_VALUE 3 start_aligned 0-254,2147483648-u32max
PARAM_VALUE 4 end_list 0,6101651554271481856
PARAM_VALUE 6 start 8577560577119821824
PARAM_VALUE 7 end 5146957649599619072
BUF_SIZE 2 start_list 20
BUF_SIZE 4 end_list 0,20
BUF_SIZE 4 end_list 0,20
CAPPED_DATA 3 start_aligned 1
BIT_INFO 3 start_aligned 0x0,0xff
BIT_INFO 4 end_list 0x0,0x54ad6bc2bb8fd000
BIT_INFO 4 end_list 0x0,0x54ad6bc2bb8fd000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem