| PARAM_VALUE |
0 |
cm_node |
4096-ptr_max |
| PARAM_VALUE |
0 |
cm_node->cm_core->form_cm_frame |
4096-ptr_max |
| PARAM_VALUE |
0 |
cm_node->mpa_frame_rev |
2 |
| PARAM_VALUE |
0 |
cm_node->state |
0-17,19-u32max |
| PARAM_VALUE |
1 |
start_addr |
1-ptr_max |
| PARAM_VALUE |
2 |
mpa_key |
0-1 |
| BUF_SIZE |
0 |
cm_node |
(-1),16,32,40,120,568,1040,1080 |
| BUF_SIZE |
0 |
cm_node |
(-1),16,32,40,120,568,1040,1080 |
| BUF_SIZE |
0 |
cm_node->cm_core |
(-1),4568 |
| BUF_SIZE |
0 |
cm_node->mpa_hdr.addr |
(-1),24 |
| BUF_SIZE |
1 |
start_addr |
12,24,32-287 |
| DATA_SOURCE |
0 |
cm_node |
$0 |
| DATA_SOURCE |
2 |
mpa_key |
$2 |
| NOSPEC |
0 |
cm_node->tcp_cntxt.loc_seq_num |
|
| NOSPEC |
0 |
cm_node->tcp_cntxt.mss |
|
| NOSPEC |
0 |
cm_node->vlan_id |
|
| HARD_MAX |
2 |
mpa_key |
1 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
0 |
cm_node->loc_port |
0-u16max[c] |
| USER_DATA |
0 |
cm_node->pdata.size |
0-255 |
| USER_DATA |
0 |
cm_node->rem_port |
0-u16max |
| USER_DATA |
0 |
cm_node->tcp_cntxt.loc_seq_num |
0-u32max |
| USER_DATA |
0 |
cm_node->tcp_cntxt.mss |
536-u16max[c] |
| USER_DATA |
0 |
cm_node->tcp_cntxt.rem_ack_num |
0-u32max[c] |
| USER_DATA |
0 |
cm_node->user_pri |
0-7[c] |
| USER_DATA |
0 |
cm_node->vlan_id |
0-4095[c] |
| UNITS |
1 |
start_addr |
unit_byte |
| HALF_LOCKED2 |
|
&dev->puda_cq_lock |
|
| HALF_LOCKED2 |
|
irq |
|
