Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/nfs/direct.c nfs_write_match_verf() -> nfs_write_verifier_cmp()

Type Parameter Key Value
PARAM_VALUE 0 v1 4096-ptr_max
PARAM_VALUE 1 v2 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

fs/nfs/nfs42proc.c _nfs42_proc_copy() -> nfs_write_verifier_cmp()

Type Parameter Key Value
PARAM_VALUE 0 v1 1969574805143318600
PARAM_VALUE 1 v2 4096-ptr_max
RX_PATH

fs/nfs/nfs42proc.c process_copy_commit() -> nfs_write_verifier_cmp()

Type Parameter Key Value
PARAM_VALUE 0 v1 1969574805143318600
PARAM_VALUE 1 v2 4096-ptr_max
RX_PATH
HALF_LOCKED2 &inode_out->i_rwsem

fs/nfs/write.c nfs_write_match_verf() -> nfs_write_verifier_cmp()

Type Parameter Key Value
PARAM_VALUE 0 v1 4096-ptr_max
PARAM_VALUE 1 v2 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock