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