Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfsd/nfsctl.c nfsd4_write_time() -> __nfsd4_write_time()

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
PARAM_VALUE 3 time 4096-ptr_max
BUF_SIZE 1 buf 4088
BUF_SIZE 1 buf 4088
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
DATA_SOURCE 3 time $3
DATA_SOURCE 4 nn $4
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