diff options
| author | Paolo Bonzini | 2016-09-02 23:35:55 +0200 |
|---|---|---|
| committer | Paolo Bonzini | 2016-09-27 11:57:30 +0200 |
| commit | a200f2fb571f337db37f865aec18f655fa3c872b (patch) | |
| tree | c88ceb959ec920f8c39d6d5d3c5036af65ed5afb /cpus-common.c | |
| parent | cpus-common: move exclusive work infrastructure from linux-user (diff) | |
| download | qemu-a200f2fb571f337db37f865aec18f655fa3c872b.tar.gz qemu-a200f2fb571f337db37f865aec18f655fa3c872b.tar.xz qemu-a200f2fb571f337db37f865aec18f655fa3c872b.zip | |
docs: include formal model for TCG exclusive sections
Reviewed-by: Richard Henderson <rth@twiddle.net>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'cpus-common.c')
0 files changed, 0 insertions, 0 deletions