Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/nfs4proc.c nfs4_open_prepare() -> can_open_cached()

Type Parameter Key Value
PARAM_VALUE 0 state 1-u64max
RX_PATH
TASK_NOT_RUNNING

fs/nfs/nfs4proc.c nfs4_try_open_cached() -> can_open_cached()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &state->owner->so_lock
TYPE_LOCK (struct nfs4_state_owner)->so_lock