| PARAM_VALUE |
0 |
conn |
4096-ptr_max |
| PARAM_VALUE |
0 |
conn->lgr |
4096-ptr_max |
| PARAM_VALUE |
0 |
conn->lgr->is_smcd |
1 |
| PARAM_VALUE |
0 |
conn->lnk->wr_tx_v2_pend.compl_requested |
0-255 |
| PARAM_VALUE |
0 |
conn->peer_rmbe_space.counter |
1-s32max |
| PARAM_VALUE |
0 |
conn->send_lock.rlock.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
conn->sndbuf_desc |
4096-ptr_max |
| PARAM_VALUE |
1 |
len |
1-s32max |
| PARAM_VALUE |
3 |
src_len |
0-u32max |
| PARAM_VALUE |
4 |
dst_off |
0-u32max |
| PARAM_VALUE |
5 |
dst_len |
0-s32max |
| CAPPED_DATA |
1 |
len |
1 |
| CAPPED_DATA |
1 |
len |
1 |
| CAPPED_DATA |
3 |
src_len |
1 |
| CAPPED_DATA |
3 |
src_len |
1 |
| CAPPED_DATA |
5 |
dst_len |
1 |
| CAPPED_DATA |
5 |
dst_len |
1 |
| DATA_SOURCE |
0 |
conn |
$0 |
| PARAM_COMPARE |
1 |
len |
>= $3 |
| PARAM_COMPARE |
1 |
len |
>= $3 |
| PARAM_COMPARE |
1 |
len |
>= $5 |
| PARAM_COMPARE |
3 |
src_len |
<= $1 |
| PARAM_COMPARE |
3 |
src_len |
<= $5 |
| PARAM_COMPARE |
5 |
dst_len |
<= $1 |
| PARAM_COMPARE |
5 |
dst_len |
<= $1 |
| PARAM_COMPARE |
5 |
dst_len |
>= $3 |
| PARAM_COMPARE |
5 |
dst_len |
>= $3 |
| PREEMPT_ADD |
|
|
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| UNITS |
2 |
src_off |
unit_byte |
| UNITS |
3 |
src_len |
unit_byte |
| UNITS |
4 |
dst_off |
unit_byte |
| UNITS |
5 |
dst_len |
unit_byte |
| LOCK2 |
|
bh |
|
| LOCK2 |
0 |
&conn->send_lock |
|
| HALF_LOCKED2 |
|
sk |
|
| TYPE_LOCK |
|
(struct smc_connection)->send_lock |
|
