| PARAM_VALUE |
0 |
r_xprt->rx_ep |
4096-ptr_max |
| PARAM_VALUE |
0 |
r_xprt->rx_xprt.queue_lock.rlock.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
r_xprt->rx_xprt.recv_queue.rb_node |
1-u64max |
| PARAM_VALUE |
0 |
r_xprt->rx_xprt.reestablish_timeout |
0 |
| PARAM_VALUE |
1 |
req |
4096-ptr_max |
| PARAM_VALUE |
1 |
req->rl_reply |
4096-ptr_max |
| PARAM_VALUE |
1 |
req->rl_reply->rr_rdmabuf |
4096-ptr_max |
| PARAM_VALUE |
1 |
req->rl_reply->rr_stream.buf |
4096-ptr_max |
| PARAM_VALUE |
1 |
req->rl_reply->rr_stream.iov |
0,4096-ptr_max |
| PARAM_VALUE |
1 |
req->rl_reply->rr_stream.page_kaddr |
0 |
| PARAM_VALUE |
1 |
req->rl_reply->rr_stream.page_ptr |
0,4096-ptr_max |
| PARAM_VALUE |
1 |
req->rl_reply->rr_stream.rqst |
0 |
| PARAM_VALUE |
1 |
req->rl_reply->rr_vers |
1 |
| CAPPED_DATA |
1 |
req->rl_reply->rr_hdrbuf.len |
1 |
| CAPPED_DATA |
1 |
&req->rl_registered |
1 |
| DATA_SOURCE |
1 |
req |
r rpcr_to_rdmar |
| PARAM_COMPARE |
1 |
&req->rl_registered |
!= $1->rl_registered.next |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
1 |
req->rl_reply->rr_xid |
0-u32max |
| USER_PTR |
1 |
req->rl_reply->rr_stream.p |
|
