Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/nfsd/nfsctl.c nfsctl_transaction_write() -> simple_transaction_set()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_op 4096-ptr_max
PARAM_VALUE 0 file->private_data 4096-ptr_max
PARAM_VALUE 1 n 0-9223372036854775807
DATA_SOURCE 0 file $0
NOCHECK_CALL

security/selinux/selinuxfs.c selinux_transaction_write() -> simple_transaction_set()

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 0 file->private_data 4096-ptr_max
PARAM_VALUE 1 n 1-9223372036854775807
DATA_SOURCE 0 file $0
BIT_INFO 0 file->f_mode 0x40002,0xffffffffffffffff
NOCHECK_CALL

security/smack/smackfs.c smk_user_access() -> simple_transaction_set()

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 0 file->private_data 4096-ptr_max
PARAM_VALUE 1 n 2
DATA_SOURCE 0 file $0
BIT_INFO 0 file->f_mode 0x40002,0xffffffffffffffff
NOCHECK_CALL