Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 6 files:
- fs/libfs.c, line 1283
- fs/lockd/procfs.c, line 31
- fs/nfsd/nfs4state.c, line 3575
- fs/nfsd/nfsctl.c, line 110
- security/selinux/selinuxfs.c, line 764
- security/smack/smackfs.c, line 2219
Smatch caller information:
fs/nfsd/nfs4state.c client_ctl_write() -> simple_transaction_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_op->write | 1-u64max |
| PARAM_VALUE | 2 | size | 0-1000000000,2147479552 |
| CAPPED_DATA | 1 | buf | 1 |
| DATA_SOURCE | 0 | file | $0 |
| DATA_SOURCE | 1 | buf | $1 |
| DATA_SOURCE | 2 | size | $2 |
| FUZZY_MAX | 2 | size | 2147479552 |
| BIT_INFO | 0 | file->f_mode | 0x40002,0xffffffffffffffff |
| USER_DATA | 1 | buf | 0-u64max[c] |
| USER_DATA | 2 | size | 0-1000000000 |
fs/nfsd/nfsctl.c nfsctl_transaction_write() -> simple_transaction_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_op | 4096-ptr_max |
| PARAM_VALUE | 2 | size | 0-1000000000,2147479552 |
| CAPPED_DATA | 1 | buf | 1 |
| DATA_SOURCE | 0 | file | $0 |
| DATA_SOURCE | 1 | buf | $1 |
| DATA_SOURCE | 2 | size | $2 |
| FUZZY_MAX | 2 | size | 2147479552 |
| USER_DATA | 1 | buf | 0-u64max[c] |
| USER_DATA | 2 | size | 0-1000000000 |
fs/lockd/procfs.c nlm_end_grace_write() -> simple_transaction_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_op->write | 1-u64max |
| PARAM_VALUE | 2 | size | 1-1000000000,2147479552 |
| DATA_SOURCE | 0 | file | $0 |
| DATA_SOURCE | 1 | buf | $1 |
| DATA_SOURCE | 2 | size | $2 |
| FUZZY_MAX | 2 | size | 1 |
| BIT_INFO | 0 | file->f_mode | 0x40002,0xffffffffffffffff |
| USER_DATA | 1 | buf | 0-u64max[c] |
| USER_DATA | 2 | size | 1-1000000000 |
security/selinux/selinuxfs.c selinux_transaction_write() -> simple_transaction_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_op->write | 1-u64max |
| PARAM_VALUE | 2 | size | 0-1000000000,2147479552 |
| CAPPED_DATA | 1 | buf | 1 |
| DATA_SOURCE | 0 | file | $0 |
| DATA_SOURCE | 1 | buf | $1 |
| DATA_SOURCE | 2 | size | $2 |
| FUZZY_MAX | 2 | size | 2147479552 |
| BIT_INFO | 0 | file->f_mode | 0x40002,0xffffffffffffffff |
| USER_DATA | 1 | buf | 0-u64max[c] |
| USER_DATA | 2 | size | 0-1000000000 |
security/smack/smackfs.c smk_user_access() -> simple_transaction_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_op->write | 1-u64max |
| PARAM_VALUE | 2 | size | 0-1000000000,2147479552 |
| CAPPED_DATA | 1 | buf | 1 |
| DATA_SOURCE | 0 | file | $0 |
| DATA_SOURCE | 1 | buf | $1 |
| DATA_SOURCE | 2 | size | $2 |
| FUZZY_MAX | 2 | size | 2147479552 |
| BIT_INFO | 0 | file->f_mode | 0x40002,0xffffffffffffffff |
| USER_DATA | 1 | buf | 0-u64max[c] |
| USER_DATA | 2 | size | 0-1000000000 |