Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/namespace.c lock_mount_exact() -> __unlock_mount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 2376455258303565824 |
| PARAM_VALUE | 0 | m->mp | 4096-ptr_max |
| PARAM_VALUE | 0 | m->node->pprev | 2250278746685325312,2376455258303565824,3228210307126067200,4840642130781356032,5513784921387532288,6432334256566214656,6781411499137540096,8584327291326013440 |
| PARAM_VALUE | 0 | m->node.pprev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->parent | (-12) |
| DATA_SOURCE | 0 | m | $1 |
| NS_CAPABLE | 0 | 21 | |
| RX_PATH | |||
| NOCHECK_CALL | |||
| LOCK2 | &dentry->d_inode->i_rwsem | ||
| LOCK2 | global &namespace_sem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/namespace.c unlock_mount() -> __unlock_mount()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 2250278746685325312,2376455258303565824,3228210307126067200,4840642130781356032,5513784921387532288,6432334256566214656,8584327291326013440 |
| PARAM_VALUE | 0 | m->mp | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->parent | 0-ptr_max |
| DATA_SOURCE | 0 | m | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &root.dentry->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &to_path.dentry->d_inode->i_rwsem | ||
| HALF_LOCKED2 | global &mount_lock.lock | ||
| HALF_LOCKED2 | global &namespace_sem |