On 06/09/2016 16:02, Laine Stump wrote:
>>
> It seems like this is just pointing out another flaw in the semantics
> of DEVICE_DELETED, a device can linger without a device id, so there's
> no way to reference it via QMP.
Ah, right. I hadn't caught that. Yeah, since it's the device id that's
used to keep track of which device the event is for, then it seems
impossible to have an event that's issued after the device id is already
recycled.
If a device lingers for more than say a second (most likely less---what
you're looking for is one or two synchronize_rcu cycles), it would be a
bug in QEMU.
Paolo