Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/hpfs/buffer.c hpfs_get_4sectors() -> hpfs_lock_assert()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->s_fs_info 4096-ptr_max
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 s unit_byte
LOCK2 &sbi->hpfs_mutex

fs/hpfs/buffer.c hpfs_get_sector() -> hpfs_lock_assert()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->s_fs_info 4096-ptr_max
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 s->s_blocksize
NO_OVERFLOW_SIMPLE 0 s->s_blocksize_bits
UNITS 0 s unit_byte
HALF_LOCKED2 &sbi->hpfs_mutex
HALF_LOCKED2 0 &s->s_fs_info->hpfs_mutex

fs/hpfs/buffer.c hpfs_map_4sectors() -> hpfs_lock_assert()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
BUF_SIZE 0 s (-1),80,2816,2880
BUF_SIZE 0 s (-1),80,2816,2880
BUF_SIZE 0 s->s_fs_info (-1),2304
BUF_SIZE 0 s->s_op (-1),216,224
DATA_SOURCE 0 s $0
STR_LEN 0 s (-1),3-9
STR_LEN 0 s (-1),3-9
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 s->s_bdev_file->f_flags 0,32768-u32max
USER_DATA 0 s->s_bdev_file->f_mode 0,64-u32max
USER_DATA 0 s->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 s->s_blocksize
NO_OVERFLOW_SIMPLE 0 s->s_blocksize_bits
NO_OVERFLOW_SIMPLE 0 s->s_root->d_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 s->s_root->d_inode->i_size
UNITS 0 s unit_byte
HALF_LOCKED2 &sbi->hpfs_mutex
HALF_LOCKED2 0 &s->s_fs_info->hpfs_mutex

fs/hpfs/buffer.c hpfs_map_sector() -> hpfs_lock_assert()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
BUF_SIZE 0 s s32min,(-10),(-1)-s32max
BUF_SIZE 0 s s32min,(-10),(-1)-s32max
BUF_SIZE 0 s->s_fs_info (-1),2304,4416
BUF_SIZE 0 s->s_op (-1),216,224
BUF_SIZE 0 s->s_root (-1)-s32max
BUF_SIZE 0 s->s_type (-1),232
BUF_SIZE 0 s->s_xattr (-1),16
CAPPED_DATA 0 s 1
DATA_SOURCE 0 s $0
STR_LEN 0 s (-1),2-9,11-12,15,17-20,23,25,27-29,31,34-45,47-48,50,52-54,56-61,65,68,70,72-73,81,120
STR_LEN 0 s (-1),2-9,11-12,15,17-20,23,25,27-29,31,34-45,47-48,50,52-54,56-61,65,68,70,72-73,81,120
STR_LEN 0 s->s_id (-1),31
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 s->s_bdev_file->f_flags 0,32768-u32max
USER_DATA 0 s->s_bdev_file->f_mode 0,64-u32max
USER_DATA 0 s->s_flags 0-u64max[c]
USER_DATA 0 s->s_root->__d_name.hash 0-u32max[c]
USER_DATA 0 s->s_root->d_parent->__d_name.hash 0-u32max[c]
USER_DATA 0 s->s_root->d_sb->s_flags 0-u64max[c]
USER_DATA 0 *s->s_root->__d_name.name 0-255
USER_DATA 0 *s->s_root->d_parent->__d_name.name 0-255
NO_OVERFLOW_SIMPLE 0 s->s_blocksize
NO_OVERFLOW_SIMPLE 0 s->s_blocksize_bits
NO_OVERFLOW_SIMPLE 0 s->s_root->d_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 s->s_root->d_inode->i_size
UNITS 0 s unit_byte
USER_PTR 0 s->s_root->__d_name.name
USER_PTR 0 s->s_root->d_parent->__d_name.name
HALF_LOCKED2 &sbi->hpfs_mutex
HALF_LOCKED2 0 &s->s_fs_info->hpfs_mutex
HALF_LOCKED2 0 &s->s_umount

fs/hpfs/file.c hpfs_truncate() -> hpfs_lock_assert()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 s unit_byte
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &sbi->hpfs_mutex
HALF_LOCKED2 0 &s->s_fs_info->hpfs_mutex