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 |