Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/nfsd/nfs4state.c nfsd4_init_conn() -> nfsd4_conn_lost()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | u | 4096-ptr_max |
| PARAM_VALUE | 0 | u->callback | 22657094047916032 |
| NOCHECK_CALL |
fs/nfsd/nfs4state.c nfsd4_sequence_check_conn() -> nfsd4_conn_lost()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | u | 4096-ptr_max |
| PARAM_VALUE | 0 | u->callback | 22657094047916032 |
| PREEMPT_ADD | |||
| NOCHECK_CALL | |||
| LOCK2 | &nn->client_lock | ||
| TYPE_LOCK | (struct nfsd_net)->client_lock |
net/sunrpc/svc_xprt.c call_xpt_users() -> (struct svc_xpt_user)->callback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | u | 4096-ptr_max |
| CONTAINER | 0 | -16+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &xprt->xpt_lock | ||
| TYPE_LOCK | (struct svc_xprt)->xpt_lock |