summaryrefslogtreecommitdiff
path: root/docs/aio_notify.promela
AgeCommit message (Expand)Author
2015-07-22AioContext: fix broken ctx->dispatching optimizationPaolo Bonzini
2014-07-09AioContext: speed up aio_notifyPaolo Bonzini