Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/ntfs3/record.c mi_format_new() -> is_mounted()

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

fs/ntfs3/record.c mi_read() -> is_mounted()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte

fs/namespace.c do_lock_mount() -> is_mounted()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
CAPPED_DATA 0 sbi 1
LOCK2 &dentry->d_inode->i_rwsem
LOCK2 global &namespace_sem
TYPE_LOCK (struct inode)->i_rwsem

fs/namespace.c get_detached_copy() -> is_mounted()

Type Parameter Key Value
LOCK2 global &namespace_sem

fs/namespace.c mark_mounts_for_expiry() -> is_mounted()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
LOCK2 global &mount_lock.lock
LOCK2 global &namespace_sem
HALF_LOCKED2 &pool->lock

fs/namespace.c may_copy_tree() -> is_mounted()

Type Parameter Key Value
BUF_SIZE 0 sbi (-1),32
BUF_SIZE 0 sbi (-1),32
HALF_LOCKED2 &to_path.dentry->d_inode->i_rwsem
HALF_LOCKED2 global &namespace_sem

fs/namespace.c may_use_mount() -> is_mounted()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max

fs/namespace.c mnt_warn_timestamp_expiry() -> is_mounted()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
BUF_SIZE 0 sbi (-1),32
BUF_SIZE 0 sbi (-1),32
DATA_SOURCE 0 sbi $1

fs/fhandle.c may_decode_fh() -> is_mounted()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
CAPABLE 0 2
NS_CAPABLE 0 21

fs/ntfs3/run.c run_unpack_ex() -> is_mounted()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
DATA_SOURCE 0 sbi $1
BIT_INFO 0 sbi->flags 0x0,0xfffffffffbffffff
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte
LOCK2 &wnd->rw_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &ni->file.run_lock
HALF_LOCKED2 &ni->ni_lock
TYPE_LOCK (struct wnd_bitmap)->rw_lock