Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/notify/fsnotify.c fsnotify_sb_delete() -> fsnotify_sb_watched_objects()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
BUF_SIZE 0 sb s32min,(-10),(-1)-s32max
BUF_SIZE 0 sb s32min,(-10),(-1)-s32max
BUF_SIZE 0 sb->s_fs_info (-1),4416
BUF_SIZE 0 sb->s_mtd (-1),64
BUF_SIZE 0 sb->s_op (-1),216
BUF_SIZE 0 sb->s_root (-1)-s32max
BUF_SIZE 0 sb->s_type (-1),232
BUF_SIZE 0 sb->s_xattr (-1),16
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
STR_LEN 0 sb->s_id (-1),31
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-u64max[c]
USER_DATA 0 sb->s_root->__d_name.hash 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
NO_OVERFLOW_SIMPLE 0 sb->s_root->d_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 sb->s_root->d_inode->i_size
USER_PTR 0 sb->s_root->__d_name.name
HALF_LOCKED2 &s->s_umount
HALF_LOCKED2 global &cifs_mount_mutex
HALF_LOCKED2 0 &sb->s_umount

fs/notify/fsnotify.c fsnotify_sb_delete() -> fsnotify_sb_watched_objects()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
BUF_SIZE 0 sb s32min,(-10),(-1)-s32max
BUF_SIZE 0 sb s32min,(-10),(-1)-s32max
BUF_SIZE 0 sb->s_fs_info (-1),4416
BUF_SIZE 0 sb->s_mtd (-1),64
BUF_SIZE 0 sb->s_op (-1),216
BUF_SIZE 0 sb->s_root (-1)-s32max
BUF_SIZE 0 sb->s_type (-1),232
BUF_SIZE 0 sb->s_xattr (-1),16
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
STR_LEN 0 sb->s_id (-1),31
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-u64max[c]
USER_DATA 0 sb->s_root->__d_name.hash 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
NO_OVERFLOW_SIMPLE 0 sb->s_root->d_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 sb->s_root->d_inode->i_size
USER_PTR 0 sb->s_root->__d_name.name
HALF_LOCKED2 &s->s_umount
HALF_LOCKED2 global &cifs_mount_mutex
HALF_LOCKED2 0 &sb->s_umount

fs/notify/fsnotify.c fsnotify_sb_delete() -> fsnotify_sb_watched_objects()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
BUF_SIZE 0 sb s32min,(-10),(-1)-s32max
BUF_SIZE 0 sb s32min,(-10),(-1)-s32max
BUF_SIZE 0 sb->s_fs_info (-1),4416
BUF_SIZE 0 sb->s_mtd (-1),64
BUF_SIZE 0 sb->s_op (-1),216
BUF_SIZE 0 sb->s_root (-1)-s32max
BUF_SIZE 0 sb->s_type (-1),232
BUF_SIZE 0 sb->s_xattr (-1),16
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
STR_LEN 0 sb->s_id (-1),31
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-u64max[c]
USER_DATA 0 sb->s_root->__d_name.hash 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
NO_OVERFLOW_SIMPLE 0 sb->s_root->d_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 sb->s_root->d_inode->i_size
USER_PTR 0 sb->s_root->__d_name.name
HALF_LOCKED2 &s->s_umount
HALF_LOCKED2 global &cifs_mount_mutex
HALF_LOCKED2 0 &sb->s_umount

fs/notify/fsnotify.c fsnotify_sb_delete() -> fsnotify_sb_watched_objects()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
BUF_SIZE 0 sb s32min,(-10),(-1)-s32max
BUF_SIZE 0 sb s32min,(-10),(-1)-s32max
BUF_SIZE 0 sb->s_fs_info (-1),4416
BUF_SIZE 0 sb->s_mtd (-1),64
BUF_SIZE 0 sb->s_op (-1),216
BUF_SIZE 0 sb->s_root (-1)-s32max
BUF_SIZE 0 sb->s_type (-1),232
BUF_SIZE 0 sb->s_xattr (-1),16
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
STR_LEN 0 sb->s_id (-1),31
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 0-u64max[c]
USER_DATA 0 sb->s_root->__d_name.hash 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
NO_OVERFLOW_SIMPLE 0 sb->s_root->d_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 sb->s_root->d_inode->i_size
USER_PTR 0 sb->s_root->__d_name.name
HALF_LOCKED2 &s->s_umount
HALF_LOCKED2 global &cifs_mount_mutex
HALF_LOCKED2 0 &sb->s_umount

fs/notify/mark.c fsnotify_get_sb_watched_objects() -> fsnotify_sb_watched_objects()

Type Parameter Key Value
DATA_SOURCE 0 sb $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
HALF_LOCKED2 &conn->lock
HALF_LOCKED2 &group->mark_mutex

fs/notify/mark.c fsnotify_put_sb_watched_objects() -> fsnotify_sb_watched_objects()

Type Parameter Key Value
DATA_SOURCE 0 sb $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
HALF_LOCKED2 &(*connp)->lock