diff options
| author | Marc-André Lureau <marcandre.lureau@redhat.com> | 2016-06-23 16:27:18 +0200 |
|---|---|---|
| committer | Markus Armbruster <armbru@redhat.com> | 2017-01-16 09:19:49 +0100 |
| commit | cdc94a1b3e7e2616363ee837dea1724062370669 (patch) | |
| tree | 3cfbea8117d62476415a52f9f1b222821102ba82 | |
| parent | 9ba5cec9dd68ac1b38fbb7ab45f389e5e05b89f1 (diff) | |
qmp-events: move 'DEVICE_DELETED' doc to schema
Signed-off-by: Marc-André Lureau <marcandre.lureau@redhat.com>
Signed-off-by: Markus Armbruster <armbru@redhat.com>
| -rw-r--r-- | docs/qmp-events.txt | 18 | ||||
| -rw-r--r-- | qapi/event.json | 8 |
2 files changed, 8 insertions, 18 deletions
diff --git a/docs/qmp-events.txt b/docs/qmp-events.txt index fbcf4f83f1..c19177d466 100644 --- a/docs/qmp-events.txt +++ b/docs/qmp-events.txt @@ -30,24 +30,6 @@ Example: Note: this event is rate-limited. -DEVICE_DELETED --------------- - -Emitted whenever the device removal completion is acknowledged -by the guest. -At this point, it's safe to reuse the specified device ID. -Device removal can be initiated by the guest or by HMP/QMP commands. - -Data: - -- "device": device name (json-string, optional) -- "path": device path (json-string) - -{ "event": "DEVICE_DELETED", - "data": { "device": "virtio-net-pci-0", - "path": "/machine/peripheral/virtio-net-pci-0" }, - "timestamp": { "seconds": 1265044230, "microseconds": 450486 } } - DUMP_COMPLETED -------------- diff --git a/qapi/event.json b/qapi/event.json index 43d27ecbeb..55ed7ec3c4 100644 --- a/qapi/event.json +++ b/qapi/event.json @@ -191,6 +191,14 @@ # @path: device path # # Since: 1.5 +# +# Example: +# +# <- { "event": "DEVICE_DELETED", +# "data": { "device": "virtio-net-pci-0", +# "path": "/machine/peripheral/virtio-net-pci-0" }, +# "timestamp": { "seconds": 1265044230, "microseconds": 450486 } } +# ## { 'event': 'DEVICE_DELETED', 'data': { '*device': 'str', 'path': 'str' } } |