aboutsummaryrefslogtreecommitdiff
path: root/docs/tcg-exclusive.promela
AgeCommit message (Expand)AuthorFilesLines
2016-09-27cpus-common: lock-free fast path for cpu_exec_start/endPaolo Bonzini1-3/+50
2016-09-27cpus-common: simplify locking for start_exclusive/end_exclusivePaolo Bonzini1-1/+3
2016-09-27cpus-common: remove redundant call to exclusive_idle()Paolo Bonzini1-1/+0
2016-09-27docs: include formal model for TCG exclusive sectionsPaolo Bonzini1-0/+177