diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2016-09-02 23:35:55 +0200 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2016-09-27 11:57:30 +0200 |
| commit | a200f2fb571f337db37f865aec18f655fa3c872b (patch) | |
| tree | c88ceb959ec920f8c39d6d5d3c5036af65ed5afb /cpus-common.c | |
| parent | ab129972c8b41e15b0521895a46fd9c752b68a5e (diff) | |
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