Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfsd/nfsctl.c write_ports() -> __write_ports()

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 buf 0-ptr_max
PARAM_VALUE 2 size 0-4087
BUF_SIZE 1 buf 4088
BUF_SIZE 1 buf 4088
BUF_SIZE 3 net 1-s32max
CAPPED_DATA 2 size 1
CAPPED_DATA 2 size 1
DATA_SOURCE 0 file $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 size $2
NOSPEC 2 size
NOSPEC 2 size
USER_DATA 1 *buf 0-255
USER_DATA 2 size 0-4087[c]
NO_OVERFLOW_SIMPLE 1 buf->data
USER_PTR 1 buf
LOCK2 global &nfsd_mutex