summaryrefslogtreecommitdiff
path: root/docs/win32-qemu-event.promela
AgeCommit message (Expand)Author
2015-09-24qemu-thread: add a fast path to the Win32 QemuEventPaolo Bonzini