Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/fat/nfs.c __fat_nfs_get_inode() -> fat_get_blknr_offset()

Type Parameter Key Value
PARAM_VALUE 1 i_pos 0-281474976710655
PARAM_VALUE 2 blknr 5611953874440024064
PARAM_VALUE 3 offset 1575679277017985024
BUF_SIZE 0 sbi 1-s32max
CAPPED_DATA 1 i_pos 1
CAPPED_DATA 1 i_pos 1
DATA_SOURCE 1 i_pos $3
NOSPEC 1 i_pos
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 i_pos 0-281474976710655[c]

fs/fat/fat_test.c fat_get_blknr_offset_test() -> fat_get_blknr_offset()

Type Parameter Key Value
PARAM_VALUE 0 sbi 783428259681538048
PARAM_VALUE 0 sbi->dir_per_block 16
PARAM_VALUE 0 sbi->dir_per_block_bits 4
PARAM_VALUE 1 i_pos 0
PARAM_VALUE 2 blknr 5066930477997977600
PARAM_VALUE 3 offset 2456778921740242944
NOCHECK_CALL

fs/fat/fat_test.c fat_get_blknr_offset_test() -> fat_get_blknr_offset()

Type Parameter Key Value
PARAM_VALUE 0 sbi 783428259681538048
PARAM_VALUE 0 sbi->dir_per_block 16
PARAM_VALUE 0 sbi->dir_per_block_bits 4
PARAM_VALUE 1 i_pos 167
PARAM_VALUE 2 blknr 5066930477997977600
PARAM_VALUE 2 *blknr 0
PARAM_VALUE 3 offset 2456778921740242944
PARAM_VALUE 3 *offset 0
NOCHECK_CALL

fs/fat/inode.c __fat_write_inode() -> fat_get_blknr_offset()

Type Parameter Key Value
PARAM_VALUE 1 i_pos s64min-(-1),1-s64max
PARAM_VALUE 2 blknr 5933907661900873728
PARAM_VALUE 3 offset 1511381481367519232
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
DATA_SOURCE 1 i_pos r fat_i_pos_read
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sbi unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/fat/inode.c fat_sync_inode_metadata() -> fat_get_blknr_offset()

Type Parameter Key Value
PARAM_VALUE 1 i_pos s64min-(-1),1-s64max
PARAM_VALUE 2 blknr 2174322446117085184
PARAM_VALUE 3 offset 524015535165874176
BUF_SIZE 0 sbi 1-s32max
BUF_SIZE 0 sbi 1-s32max
DATA_SOURCE 1 i_pos r fat_i_pos_read
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sbi unit_byte
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock