Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/gfs2/quota.c gfs2_quotad() -> gfs2_statfs_sync()

Type Parameter Key Value
PARAM_VALUE 1 type 0

fs/gfs2/super.c gfs2_make_fs_ro() -> gfs2_statfs_sync()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info->sd_vfs 4096-ptr_max
PARAM_VALUE 1 type 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sb->s_umount

fs/gfs2/sys.c statfs_sync_store() -> gfs2_statfs_sync()

Type Parameter Key Value
PARAM_VALUE 1 type 0
CAPABLE 0 21
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex