ab52153ab2
Windows evtchn driver can double fire on one event (details in xenpci/evtchn_device_interface.c:EvtChn_EvtIoWrite). Less intrusive way of fixing it is just remove all events from queue on libvchan_wait (to prevent queue fill). This won't hurt because we are interested in events only sent after xc_evtchn_unmask call which is one line below. |
||
---|---|---|
dom0 | ||
misc | ||
network | ||
qrexec | ||
qubes_rpc | ||
rpm_spec | ||
u2mfn | ||
vchan | ||
vm-init.d | ||
vm-systemd | ||
.gitignore | ||
LICENSE | ||
Makefile | ||
version_dom0 | ||
version_vaio_fixes | ||
version_vm |