aboutsummaryrefslogtreecommitdiff
path: root/docs/aio_notify.promela
AgeCommit message (Expand)AuthorFilesLines
2017-06-07docs: create config/, devel/ and spin/ subdirectoriesPaolo Bonzini1-93/+0
2015-07-22AioContext: fix broken ctx->dispatching optimizationPaolo Bonzini1-44/+33
2014-07-09AioContext: speed up aio_notifyPaolo Bonzini1-0/+104