Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/befs/linuxvfs.c befs_fill_super() -> iaddr2blockno()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 iaddr 4096-ptr_max
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb->s_export_op 80
BUF_SIZE 0 sb->s_fs_info 144
BUF_SIZE 0 sb->s_op 224
CAPPED_DATA 0 sb 1
CAPPED_DATA 0 sb->s_dev 1
CAPPED_DATA 0 sb->s_fs_info->block_size 1
CAPPED_DATA 0 sb->s_fs_info->log_end 1
CAPPED_DATA 0 sb->s_fs_info->log_start 1
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
PARAM_COMPARE 0 sb->s_fs_info->log_end == $0->s_fs_info->log_start
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_bdev_file->f_flags 0,32768-u32max
USER_DATA 0 sb->s_bdev_file->f_mode 0,64-u32max
USER_DATA 0 sb->s_flags 0-2147486720[c]
HALF_LOCKED2 &fc->uapi_mutex

fs/befs/linuxvfs.c befs_get_block() -> iaddr2blockno()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 iaddr 6541616121217638400
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte

fs/befs/inode.c befs_check_inode() -> iaddr2blockno()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 iaddr 5469750190290993152
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb->s_export_op (-1),80
BUF_SIZE 0 sb->s_fs_info (-1),144
BUF_SIZE 0 sb->s_op (-1),224
CAPPED_DATA 0 sb 1
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-2147486720[c]
UNITS 0 sb unit_byte

fs/befs/inode.c befs_check_inode() -> iaddr2blockno()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 iaddr 5469750190290993152
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb->s_export_op (-1),80
BUF_SIZE 0 sb->s_fs_info (-1),144
BUF_SIZE 0 sb->s_op (-1),224
CAPPED_DATA 0 sb 1
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-2147486720[c]
UNITS 0 sb unit_byte

fs/befs/datastream.c befs_find_brun_dblindirect() -> iaddr2blockno()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 iaddr 4096-ptr_max
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte

fs/befs/datastream.c befs_find_brun_dblindirect() -> iaddr2blockno()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 iaddr 4096-ptr_max
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte

fs/befs/datastream.c befs_find_brun_dblindirect() -> iaddr2blockno()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 iaddr 7377528370058088448
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte

fs/befs/datastream.c befs_find_brun_dblindirect() -> iaddr2blockno()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 iaddr 7377528370058088448
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte

fs/befs/datastream.c befs_find_brun_indirect() -> iaddr2blockno()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 1 iaddr 7593267224157003776
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte

fs/befs/io.c befs_bread_iaddr() -> iaddr2blockno()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte