Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/direct.c nfs_add_stats() -> nfs_add_server_stats()

Type Parameter Key Value
PARAM_VALUE 1 stat 2-3
PARAM_VALUE 2 addend 0-s64max
BUF_SIZE 0 server 1-s32max
DATA_SOURCE 1 stat $1
DATA_SOURCE 2 addend $2
NOSPEC 2 addend
HARD_MAX 1 stat 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 addend 0-s64max

fs/nfs/file.c nfs_add_stats() -> nfs_add_server_stats()

Type Parameter Key Value
PARAM_VALUE 1 stat 0-1
PARAM_VALUE 2 addend 1-s64max
BUF_SIZE 0 server 1-s32max
DATA_SOURCE 1 stat $1
DATA_SOURCE 2 addend $2
NOSPEC 2 addend
HARD_MAX 1 stat 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 addend 1-s64max
HALF_LOCKED2 &inode->i_rwsem

fs/nfs/read.c nfs_add_stats() -> nfs_add_server_stats()

Type Parameter Key Value
PARAM_VALUE 1 stat 4,6
BUF_SIZE 0 server 1-s32max
DATA_SOURCE 1 stat $1
DATA_SOURCE 2 addend $2
HARD_MAX 1 stat 6
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/write.c nfs_add_stats() -> nfs_add_server_stats()

Type Parameter Key Value
PARAM_VALUE 1 stat 5,7
BUF_SIZE 0 server 1-s32max
DATA_SOURCE 1 stat $1
DATA_SOURCE 2 addend $2
HARD_MAX 1 stat 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 addend unit_byte