Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/vdpa/vdpa_user/vduse_dev.c vduse_dev_get_vq_state_packed() -> vduse_dev_msg_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->vqs | 4096-ptr_max |
| PARAM_VALUE | 1 | msg | 3634062916342009856 |
| 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.request_id | 0 |
| PARAM_VALUE | 1 | msg->req.s.status | 0 |
| PARAM_VALUE | 1 | msg->req.type | 0 |
| PARAM_VALUE | 1 | msg->req.vq_group_asid.asid | 0 |
| PARAM_VALUE | 1 | msg->req.vq_group_asid.group | 0 |
| PARAM_VALUE | 1 | msg->req.vq_ready.num | 0 |
| PARAM_VALUE | 1 | msg->req.vq_ready.ready | 0 |
| PARAM_VALUE | 1 | msg->req.vq_state.index | 0-u16max |
| PARAM_VALUE | 1 | msg->resp.result | 0 |
| PARAM_VALUE | 1 | msg->waitq.head.next | 0 |
| PARAM_VALUE | 1 | msg->waitq.head.prev | 0 |
| DATA_SOURCE | 0 | dev | $0 |
| BIT_INFO | 0 | dev->driver_features | 0x400000000,0xffffffffffffffff |
| LOCK2 | &d->mutex | ||
| TYPE_LOCK | (struct vhost_dev)->mutex |
drivers/vdpa/vdpa_user/vduse_dev.c vduse_dev_get_vq_state_split() -> vduse_dev_msg_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->vqs | 4096-ptr_max |
| PARAM_VALUE | 1 | msg | 4335430656512507904 |
| 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.request_id | 0 |
| PARAM_VALUE | 1 | msg->req.s.status | 0 |
| PARAM_VALUE | 1 | msg->req.type | 0 |
| PARAM_VALUE | 1 | msg->req.vq_group_asid.asid | 0 |
| PARAM_VALUE | 1 | msg->req.vq_group_asid.group | 0 |
| PARAM_VALUE | 1 | msg->req.vq_ready.num | 0 |
| PARAM_VALUE | 1 | msg->req.vq_ready.ready | 0 |
| PARAM_VALUE | 1 | msg->req.vq_state.index | 0-u16max |
| PARAM_VALUE | 1 | msg->resp.result | 0 |
| PARAM_VALUE | 1 | msg->waitq.head.next | 0 |
| PARAM_VALUE | 1 | msg->waitq.head.prev | 0 |
| DATA_SOURCE | 0 | dev | $0 |
| BIT_INFO | 0 | dev->driver_features | 0x0,0xfffffffbffffffff |
| LOCK2 | &d->mutex | ||
| TYPE_LOCK | (struct vhost_dev)->mutex |
drivers/vdpa/vdpa_user/vduse_dev.c vduse_dev_set_status() -> vduse_dev_msg_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | msg | 5193369654775418880 |
| 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.request_id | 0 |
| PARAM_VALUE | 1 | msg->req.type | 1 |
| PARAM_VALUE | 1 | msg->req.vq_group_asid.asid | 0 |
| PARAM_VALUE | 1 | msg->req.vq_group_asid.group | 0 |
| PARAM_VALUE | 1 | msg->req.vq_ready.num | 0 |
| PARAM_VALUE | 1 | msg->req.vq_ready.ready | 0 |
| PARAM_VALUE | 1 | msg->resp.result | 0 |
| PARAM_VALUE | 1 | msg->waitq.head.next | 0 |
| PARAM_VALUE | 1 | msg->waitq.head.prev | 0 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | msg->req.s.status | 0-255 |
| USER_DATA | 1 | msg->req.s.status | 1-255 |
| LOCK2 | &vdpa->cf_lock | ||
| TYPE_LOCK | (struct vdpa_device)->cf_lock |
drivers/vdpa/vdpa_user/vduse_dev.c vduse_dev_update_iotlb() -> vduse_dev_msg_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->as | 4096-ptr_max |
| PARAM_VALUE | 1 | msg | 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.iova.last | 0,u64max |
| PARAM_VALUE | 1 | msg->req.iova_v2.last | 0,u64max |
| PARAM_VALUE | 1 | msg->req.request_id | 0 |
| PARAM_VALUE | 1 | msg->req.s.status | 0 |
| PARAM_VALUE | 1 | msg->req.type | 2 |
| PARAM_VALUE | 1 | msg->req.vq_group_asid.asid | 0 |
| PARAM_VALUE | 1 | msg->req.vq_group_asid.group | 0 |
| PARAM_VALUE | 1 | msg->req.vq_ready.num | 0 |
| PARAM_VALUE | 1 | msg->req.vq_ready.ready | 0 |
| PARAM_VALUE | 1 | msg->resp.result | 0 |
| PARAM_VALUE | 1 | msg->waitq.head.next | 0 |
| PARAM_VALUE | 1 | msg->waitq.head.prev | 0 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &dev->mutex | ||
| HALF_LOCKED2 | &dev->mm->mmap_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct vhost_dev)->mutex |
drivers/vdpa/vdpa_user/vduse_dev.c vduse_set_group_asid() -> vduse_dev_msg_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->api_version | 1-u64max |
| PARAM_VALUE | 1 | msg | 107903743406084096 |
| 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.request_id | 0 |
| PARAM_VALUE | 1 | msg->req.s.status | 0 |
| PARAM_VALUE | 1 | msg->req.type | 3 |
| 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 |
| PARAM_VALUE | 1 | msg->req.vq_ready.ready | 0 |
| PARAM_VALUE | 1 | msg->resp.result | 0 |
| PARAM_VALUE | 1 | msg->waitq.head.next | 0 |
| PARAM_VALUE | 1 | msg->waitq.head.prev | 0 |
| DATA_SOURCE | 0 | dev | r vdpa_to_vduse |
| FUZZY_MAX | 0 | dev->api_version | 1 |
| NOSPEC | 1 | msg->req.vq_group_asid.group | |
| USER_DATA | 1 | msg->req.vq_group_asid.asid | 0-s32max[c] |
| USER_DATA | 1 | msg->req.vq_group_asid.group | 0-s32max[c] |
| LOCK2 | &d->mutex | ||
| TYPE_LOCK | (struct vhost_dev)->mutex |
drivers/vdpa/vdpa_user/vduse_dev.c vduse_vdpa_set_vq_ready() -> vduse_dev_msg_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->vduse_features | 1-u64max |
| PARAM_VALUE | 0 | dev->vqs | 4096-ptr_max |
| PARAM_VALUE | 1 | msg | 6869280559690952704 |
| 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.request_id | 0 |
| PARAM_VALUE | 1 | msg->req.s.status | 0 |
| PARAM_VALUE | 1 | msg->req.type | 4 |
| PARAM_VALUE | 1 | msg->req.vq_group_asid.asid | 0 |
| PARAM_VALUE | 1 | msg->req.vq_group_asid.group | 0 |
| 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 | 0 |
| PARAM_VALUE | 1 | msg->waitq.head.prev | 0 |
| DATA_SOURCE | 0 | dev | r vdpa_to_vduse |
| BIT_INFO | 0 | dev->vduse_features | 0x1,0xffffffffffffffff |
| NOSPEC | 1 | msg->req.vq_ready.num | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | msg->req.vq_ready.num | 0-u16max[c] |
| USER_DATA | 1 | msg->req.vq_ready.ready | 0-1 |
| HALF_LOCKED2 | &d->mutex |
drivers/vdpa/vdpa_user/vduse_dev.c vduse_vdpa_suspend() -> vduse_dev_msg_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | msg | 5723270578711310336 |
| 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.request_id | 0 |
| PARAM_VALUE | 1 | msg->req.s.status | 0 |
| PARAM_VALUE | 1 | msg->req.type | 5 |
| PARAM_VALUE | 1 | msg->req.vq_group_asid.asid | 0 |
| PARAM_VALUE | 1 | msg->req.vq_group_asid.group | 0 |
| PARAM_VALUE | 1 | msg->req.vq_ready.num | 0 |
| PARAM_VALUE | 1 | msg->req.vq_ready.ready | 0 |
| PARAM_VALUE | 1 | msg->resp.result | 0 |
| PARAM_VALUE | 1 | msg->waitq.head.next | 0 |
| PARAM_VALUE | 1 | msg->waitq.head.prev | 0 |
| DATA_SOURCE | 0 | dev | r vdpa_to_vduse |
| LOCK2 | &d->mutex | ||
| TYPE_LOCK | (struct vhost_dev)->mutex |