Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
parent |
4096-ptr_max |
| PARAM_VALUE |
1 |
fattr |
4096-ptr_max |
| BUF_SIZE |
0 |
parent |
(-1),2880 |
| BUF_SIZE |
0 |
parent |
(-1),2880 |
| BUF_SIZE |
1 |
fattr |
(-1),248 |
| BUF_SIZE |
1 |
fattr |
(-1),248 |
| DATA_SOURCE |
0 |
parent |
$0 |
| DATA_SOURCE |
1 |
fattr |
$2 |
| STR_LEN |
0 |
parent |
(-1),8 |
| STR_LEN |
0 |
parent |
(-1),8 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
0 |
parent->s_flags |
0-u64max[c] |
| USER_DATA |
1 |
fattr->atime.tv_nsec |
0-4294967295 |
| USER_DATA |
1 |
fattr->atime.tv_sec |
0-4294967295 |
| USER_DATA |
1 |
fattr->btime.tv_nsec |
0-4294967295 |
| USER_DATA |
1 |
fattr->change_attr |
0-4611686021648613375[c] |
| USER_DATA |
1 |
fattr->ctime.tv_nsec |
0-4294967295 |
| USER_DATA |
1 |
fattr->ctime.tv_sec |
0-4294967295 |
| USER_DATA |
1 |
fattr->fileid |
0-u64max |
| USER_DATA |
1 |
fattr->label->len |
0-2047[c] |
| USER_DATA |
1 |
fattr->label->lfs |
0-u32max |
| USER_DATA |
1 |
fattr->label->pi |
0-u32max |
| USER_DATA |
1 |
fattr->mode |
0-u16max |
| USER_DATA |
1 |
fattr->mtime.tv_nsec |
0-4294967295 |
| USER_DATA |
1 |
fattr->mtime.tv_sec |
0-4294967295 |
| USER_DATA |
1 |
fattr->nlink |
1 |
| USER_DATA |
1 |
*fattr->label->label |
0-255 |
| NO_OVERFLOW_SIMPLE |
0 |
parent->s_blocksize |
|
| NO_OVERFLOW_SIMPLE |
0 |
parent->s_blocksize_bits |
|
| UNITS |
0 |
parent |
unit_byte |
| USER_PTR |
1 |
fattr->label->label |
|
| HALF_LOCKED2 |
0 |
&parent->s_umount |
|
