summaryrefslogtreecommitdiffstats
path: root/docs/aio_notify.promela
Commit message (Expand)AuthorAgeFilesLines
* AioContext: fix broken ctx->dispatching optimizationPaolo Bonzini2015-07-221-44/+33Star
* AioContext: speed up aio_notifyPaolo Bonzini2014-07-091-0/+104