Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfsd/nfs4state.c nfsd4_lock() -> nfs4_transform_lock_offset()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 0 lock->fl_start s64min-(-2),0-s64max
BUF_SIZE 0 lock 256
BUF_SIZE 0 lock->fl_lmops 56
BIT_INFO 0 lock->c.flc_flags 0x1,0x1081
NOCHECK_CALL
LOCK2 &stp->st_mutex

fs/nfsd/nfs4state.c nfsd4_lockt() -> nfs4_transform_lock_offset()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 0 lock->fl_start s64min-(-2),0-s64max
DATA_SOURCE 0 lock r locks_alloc_lock
NOCHECK_CALL

fs/nfsd/nfs4state.c nfsd4_locku() -> nfs4_transform_lock_offset()

Type Parameter Key Value
PARAM_VALUE 0 lock 4096-ptr_max
PARAM_VALUE 0 lock->fl_start 0-18446744073709551614
BUF_SIZE 0 lock->fl_lmops 56
DATA_SOURCE 0 lock r locks_alloc_lock
NOCHECK_CALL
LOCK2 &stp->st_mutex