| PARAM_VALUE |
0 |
head |
4096-ptr_max |
| PARAM_VALUE |
1 |
msg |
107903743406084096,3634062916342009856,4335430656512507904,5193369654775418880,5723270578711310336,6869280559690952704,7296277225050484736 |
| PARAM_VALUE |
1 |
msg->completed |
0 |
| PARAM_VALUE |
1 |
msg->list.next |
0 |
| PARAM_VALUE |
1 |
msg->list.prev |
0 |
| PARAM_VALUE |
1 |
msg->req.type |
0-5 |
| PARAM_VALUE |
1 |
msg->req.vq_group_asid.asid |
0-4294967294 |
| PARAM_VALUE |
1 |
msg->req.vq_group_asid.group |
0-4294967294 |
| PARAM_VALUE |
1 |
msg->req.vq_ready.num |
0-u16max |
| PARAM_VALUE |
1 |
msg->req.vq_ready.ready |
0-1 |
| PARAM_VALUE |
1 |
msg->resp.result |
0 |
| PARAM_VALUE |
1 |
msg->waitq.head.next |
4096-ptr_max |
| PARAM_VALUE |
1 |
msg->waitq.head.next->next |
4096-ptr_max |
| PARAM_VALUE |
1 |
msg->waitq.head.prev |
4096-ptr_max |
| PARAM_VALUE |
1 |
msg->waitq.head.prev->next |
4096-ptr_max |
| PARAM_VALUE |
1 |
msg->waitq.head.prev->prev |
4096-ptr_max |
| DATA_SOURCE |
1 |
msg |
$1 |
| NOSPEC |
1 |
msg->req.vq_group_asid.group |
|
| NOSPEC |
1 |
msg->req.vq_ready.num |
|
| HARD_MAX |
1 |
msg->req.type |
5 |
| PREEMPT_ADD |
|
|
<- disables preempt |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
1 |
msg->req.s.status |
0-255 |
| USER_DATA |
1 |
msg->req.s.status |
1-255 |
| USER_DATA |
1 |
msg->req.vq_group_asid.asid |
0-s32max[c] |
| USER_DATA |
1 |
msg->req.vq_group_asid.group |
0-s32max[c] |
| USER_DATA |
1 |
msg->req.vq_ready.num |
0-u16max[c] |
| USER_DATA |
1 |
msg->req.vq_ready.ready |
0-1 |
| LOCK2 |
|
&dev->msg_lock |
|
| HALF_LOCKED2 |
|
&d->mutex |
|
| HALF_LOCKED2 |
|
&dev->mutex |
|
| HALF_LOCKED2 |
|
&vdpa->cf_lock |
|
| TYPE_LOCK |
|
(struct vduse_dev)->msg_lock |
|
