Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
path |
4096-ptr_max |
| PARAM_VALUE |
1 |
mask |
2 |
| DATA_SOURCE |
1 |
mask |
$1 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
path |
4096-ptr_max |
| PARAM_VALUE |
1 |
mask |
1-2 |
| DATA_SOURCE |
1 |
mask |
$1 |
| HARD_MAX |
1 |
mask |
2 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
path |
4096-ptr_max |
| PARAM_VALUE |
1 |
mask |
32,4128 |
| DATA_SOURCE |
1 |
mask |
$1 |
| FUZZY_MAX |
1 |
mask |
32 |
| BIT_INFO |
1 |
mask |
0x20,0x1020 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&dir_inode->i_rwsem |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
path |
4096-ptr_max |
| PARAM_VALUE |
1 |
mask |
1-2 |
| DATA_SOURCE |
1 |
mask |
$1 |
| HARD_MAX |
1 |
mask |
2 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
path |
4096-ptr_max |
| PARAM_VALUE |
0 |
path->dentry |
4096-ptr_max |
| PARAM_VALUE |
1 |
mask |
131072 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
path |
4096-ptr_max |
| PARAM_VALUE |
1 |
mask |
8,16 |
| DATA_SOURCE |
1 |
mask |
$1 |
| FUZZY_MAX |
1 |
mask |
16 |
| BIT_INFO |
1 |
mask |
0x0,0x18 |
| HARD_MAX |
1 |
mask |
16 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
path |
4096-ptr_max |
| PARAM_VALUE |
1 |
mask |
1-2 |
| DATA_SOURCE |
1 |
mask |
$1 |
| HARD_MAX |
1 |
mask |
2 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
path |
4096-ptr_max |
| PARAM_VALUE |
0 |
path->dentry |
4096-ptr_max |
| PARAM_VALUE |
1 |
mask |
131072 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&inode_out->i_rwsem |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
path |
4096-ptr_max |
| PARAM_VALUE |
1 |
mask |
1-2 |
| DATA_SOURCE |
1 |
mask |
$1 |
| HARD_MAX |
1 |
mask |
2 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
path |
4096-ptr_max |
| PARAM_VALUE |
1 |
mask |
1 |
| DATA_SOURCE |
1 |
mask |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&dir_fp->readdir_lock |
|
| HALF_LOCKED2 |
|
&inode->i_rwsem |
|
| HALF_LOCKED2 |
|
&pool->lock |
|
| TYPE_LOCK |
|
(struct inode)->i_rwsem |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
path |
4096-ptr_max |
| PARAM_VALUE |
0 |
path->dentry |
4096-ptr_max |
| PARAM_VALUE |
1 |
mask |
131072 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&dir_fp->readdir_lock |
|
| HALF_LOCKED2 |
|
&inode->i_rwsem |
|
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
path |
4096-ptr_max |
| PARAM_VALUE |
1 |
mask |
2 |
| DATA_SOURCE |
1 |
mask |
$1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
path |
4096-ptr_max |
| PARAM_VALUE |
0 |
path->dentry |
4096-ptr_max |
| PARAM_VALUE |
1 |
mask |
262144 |
| PREEMPT_ADD |
|
|
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&parent->d_lockref.lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
path |
4096-ptr_max |
| PARAM_VALUE |
0 |
path->dentry |
4096-ptr_max |
| PARAM_VALUE |
1 |
mask |
65536 |
| PREEMPT_ADD |
|
|
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&parent->d_lockref.lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
path |
4096-ptr_max |
| PARAM_VALUE |
1 |
mask |
1048576 |
| DATA_SOURCE |
0 |
path |
$0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
path |
4096-ptr_max |
| PARAM_VALUE |
1 |
mask |
1-2 |
| DATA_SOURCE |
1 |
mask |
$1 |
| CAPABLE |
0 |
21 |
|
| HARD_MAX |
1 |
mask |
2 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
path |
4096-ptr_max |
| PARAM_VALUE |
1 |
mask |
2,32,4128 |
| DATA_SOURCE |
1 |
mask |
$1 |
| FUZZY_MAX |
1 |
mask |
32 |
| BIT_INFO |
1 |
mask |
0x0,0x1022 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
path |
4096-ptr_max |
| PARAM_VALUE |
0 |
path->dentry |
4096-ptr_max |
| PARAM_VALUE |
1 |
mask |
131072 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
&inode->i_rwsem |
|
| HALF_LOCKED2 |
|
&pool->lock |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
path |
4096-ptr_max |
| PARAM_VALUE |
1 |
mask |
1-2 |
| DATA_SOURCE |
1 |
mask |
$1 |
| HARD_MAX |
1 |
mask |
2 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|