Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfsd/nfs4state.c access_permit_read() -> test_access()

Type Parameter Key Value
PARAM_VALUE 0 access 1
PARAM_VALUE 1 stp 1-u64max
DATA_SOURCE 1 stp $0

fs/nfsd/nfs4state.c access_permit_read() -> test_access()

Type Parameter Key Value
PARAM_VALUE 0 access 3
PARAM_VALUE 1 stp 4096-ptr_max
DATA_SOURCE 1 stp $0

fs/nfsd/nfs4state.c access_permit_read() -> test_access()

Type Parameter Key Value
PARAM_VALUE 0 access 2
PARAM_VALUE 1 stp 4096-ptr_max
DATA_SOURCE 1 stp $0

fs/nfsd/nfs4state.c access_permit_write() -> test_access()

Type Parameter Key Value
PARAM_VALUE 0 access 2
PARAM_VALUE 1 stp 1-u64max
DATA_SOURCE 1 stp $0
PREEMPT_ADD
HALF_LOCKED2 &fp->fi_lock

fs/nfsd/nfs4state.c access_permit_write() -> test_access()

Type Parameter Key Value
PARAM_VALUE 0 access 3
PARAM_VALUE 1 stp 4096-ptr_max
DATA_SOURCE 1 stp $0
PREEMPT_ADD
HALF_LOCKED2 &fp->fi_lock

fs/nfsd/nfs4state.c get_lock_access() -> test_access()

Type Parameter Key Value
PARAM_VALUE 0 access 1-2
PARAM_VALUE 1 stp 4096-ptr_max
DATA_SOURCE 0 access $1
DATA_SOURCE 1 stp $0
HARD_MAX 0 access 2
PREEMPT_ADD
LOCK2 &fp->fi_lock
LOCK2 &stp->st_mutex
TYPE_LOCK (struct nfs4_file)->fi_lock

fs/nfsd/nfs4state.c nfs4_stateid_downgrade_bit() -> test_access()

Type Parameter Key Value
PARAM_VALUE 0 access 1-3
PARAM_VALUE 1 stp 4096-ptr_max
DATA_SOURCE 0 access $1
DATA_SOURCE 1 stp $0
HARD_MAX 0 access 3

fs/nfsd/nfs4state.c nfs4_upgrade_open() -> test_access()

Type Parameter Key Value
PARAM_VALUE 1 stp 4096-ptr_max
DATA_SOURCE 1 stp $3

fs/nfsd/nfs4state.c nfsd4_open_downgrade() -> test_access()

Type Parameter Key Value
PARAM_VALUE 1 stp 4096-ptr_max
LOCK2 &stp->st_mutex

fs/nfsd/nfs4state.c release_all_access() -> test_access()

Type Parameter Key Value
PARAM_VALUE 0 access 1-3
PARAM_VALUE 1 stp 4096-ptr_max
DATA_SOURCE 1 stp $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &nfsd_mutex
HALF_LOCKED2 1 &stp->st_mutex