summaryrefslogtreecommitdiff
path: root/docs/aio_notify.promela
AgeCommit message (Expand)AuthorFilesLines
2015-07-22AioContext: fix broken ctx->dispatching optimizationPaolo Bonzini1-44/+33
2014-07-09AioContext: speed up aio_notifyPaolo Bonzini1-0/+104