Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/nfs/flexfilelayout/flexfilelayout.c ff_layout_cancel_io() -> rpc_clnt_disconnect()

Type Parameter Key Value
PARAM_VALUE 0 clnt 4096-ptr_max
PARAM_VALUE 0 clnt->cl_lock.rlock.dep_map->name 0-255
PARAM_COMPARE 0 &clnt->cl_tasks != $0->cl_tasks.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_lock
TYPE_LOCK (struct inode)->i_lock