| PARAM_VALUE |
0 |
sock |
4096-ptr_max |
| PARAM_VALUE |
0 |
sock->dev |
1-u64max |
| PARAM_VALUE |
0 |
sock->hsmp_sem.first_waiter |
4096-ptr_max |
| PARAM_VALUE |
0 |
sock->hsmp_sem.first_waiter->list.next |
5349227543279349760 |
| PARAM_VALUE |
0 |
sock->hsmp_sem.first_waiter->list.prev |
5349227543279349760 |
| PARAM_VALUE |
0 |
sock->hsmp_sem.first_waiter->list.prev->next |
5349227543279349760 |
| PARAM_VALUE |
0 |
sock->hsmp_sem.first_waiter->up |
0 |
| PARAM_VALUE |
0 |
sock->hsmp_sem.lock.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
sock->hsmp_sem.lock.owner |
(-1) |
| PARAM_VALUE |
0 |
sock->hsmp_sem.lock.owner_cpu |
u32max |
| PARAM_VALUE |
1 |
msg |
565024886527811584,1602277428747644928,1717540184317739008,4600680786427486208,6085220449789685760,7228286451207262208,7540206931311525888,7979678782876258304 |
| PARAM_VALUE |
1 |
msg->msg_id |
1-60 |
| PARAM_VALUE |
1 |
msg->num_args |
0-1 |
| PARAM_VALUE |
1 |
msg->response_sz |
0-3 |
| PARAM_VALUE |
1 |
msg->sock_ind |
0-65534 |
| CAPPED_DATA |
1 |
msg->num_args |
1 |
| CAPPED_DATA |
1 |
msg->response_sz |
1 |
| CAPPED_DATA |
1 |
msg->sock_ind |
1 |
| DATA_SOURCE |
1 |
msg |
$0 |
| CONSTRAINT |
1 |
msg->sock_ind |
<94 |
| NOSPEC |
1 |
msg->msg_id |
|
| NOSPEC |
1 |
msg->num_args |
|
| NOSPEC |
1 |
msg->response_sz |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
1 |
msg->msg_id |
1-60[c] |
| USER_DATA |
1 |
msg->num_args |
0-1[c] |
| USER_DATA |
1 |
msg->response_sz |
0-3[c] |
| USER_DATA |
1 |
msg->sock_ind |
0-65534[c] |
| USER_PTR |
1 |
msg->args |
|
| LOCK2 |
0 |
&sock->hsmp_sem |
|
| HALF_LOCKED2 |
|
_T->lock |
|
| TYPE_LOCK |
|
(struct hsmp_socket)->hsmp_sem |
|
