summaryrefslogtreecommitdiff
path: root/docs/aio_notify_accept.promela
AgeCommit message (Expand)AuthorFilesLines
2015-07-22AioContext: optimize clearing the EventNotifierPaolo Bonzini1-0/+152