summary refs log tree commit diff stats
path: root/results/classifier/zero-shot/118/none/802
blob: a86c1fc7e5d359d8eae0ab58bafd95ea6bdd87b0 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
x86: 0.698
device: 0.598
peripherals: 0.574
graphic: 0.554
debug: 0.518
network: 0.482
performance: 0.428
semantic: 0.388
architecture: 0.325
i386: 0.312
kernel: 0.293
virtual: 0.244
hypervisor: 0.200
register: 0.158
VMM: 0.154
ppc: 0.153
PID: 0.145
user-level: 0.141
boot: 0.130
permissions: 0.124
KVM: 0.119
risc-v: 0.114
mistranslation: 0.105
socket: 0.085
arm: 0.074
TCG: 0.065
vnc: 0.061
files: 0.052
assembly: 0.027

Devices created using '-device' JSON syntax don't emit DEVICE_DELETED when unplugged
Description of problem:
Run the following sequence:

```
  $ ./qemu-system-x86_64 -qmp stdio  \
       -device '{"driver": "virtio-mouse-pci", "id": "dev0"}' \
       -device virtio-mouse-pci,id=dev1 
{"QMP": {"version": {"qemu": {"micro": 50, "minor": 2, "major": 6}, "package": "v6.2.0-105-g7494244ffc-dirty"}, "capabilities": ["oob"]}}
{ "execute": "qmp_capabilities" }
{"return": {}}
{ "execute": "device_del", "arguments": { "id": "dev0"} }
{"return": {}}
{ "execute": "device_del", "arguments": { "id": "dev1"} }
{"return": {}}
{ "execute": "system_reset" }
{"return": {}}
{"timestamp": {"seconds": 1641385071, "microseconds": 120178}, "event": "RESET", "data": {"guest": false, "reason": "host-qmp-system-reset"}}
{"timestamp": {"seconds": 1641385071, "microseconds": 121431}, "event": "DEVICE_DELETED", "data": {"path": "/machine/peripheral/dev1/virtio-backend"}}
{"timestamp": {"seconds": 1641385071, "microseconds": 121684}, "event": "DEVICE_DELETED", "data": {"device": "dev1", "path": "/machine/peripheral/dev1"}}
{"timestamp": {"seconds": 1641385071, "microseconds": 122297}, "event": "DEVICE_DELETED", "data": {"path": "/machine/peripheral/dev0/virtio-backend"}}
{"timestamp": {"seconds": 1641385071, "microseconds": 198581}, "event": "RESET", "data": {"guest": true, "reason": "guest-reset"}}

   ```

Notice the lack of a "DEVICE_DELETED" event with path "/machine/peripheral/dev0" - the device created with JSON syntax