Google Git
Sign in
qemu / qemu / a200f2fb571f337db37f865aec18f655fa3c872b
commita200f2fb571f337db37f865aec18f655fa3c872b[log] [tgz]
authorPaolo Bonzini <pbonzini@redhat.com>Fri Sep 02 23:35:55 2016 +0200
committerPaolo Bonzini <pbonzini@redhat.com>Tue Sep 27 11:57:30 2016 +0200
treec88ceb959ec920f8c39d6d5d3c5036af65ed5afb
parentab129972c8b41e15b0521895a46fd9c752b68a5e [diff]
docs: include formal model for TCG exclusive sections

Reviewed-by: Richard Henderson <rth@twiddle.net>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
1 file changed
tree: c88ceb959ec920f8c39d6d5d3c5036af65ed5afb
  1. audio/
  2. backends/
  3. block/
  4. bsd-user/
  5. contrib/
  6. crypto/
  7. default-configs/
  8. disas/
  9. docs/
  10. fpu/
  11. fsdev/
  12. gdb-xml/
  13. hw/
  14. include/
  15. io/
  16. libdecnumber/
  17. linux-headers/
  18. linux-user/
  19. migration/
  20. nbd/
  21. net/
  22. pc-bios/
  23. po/
  24. qapi/
  25. qga/
  26. qobject/
  27. qom/
  28. replay/
  29. roms/
  30. scripts/
  31. slirp/
  32. stubs/
  33. target-alpha/
  34. target-arm/
  35. target-cris/
  36. target-i386/
  37. target-lm32/
  38. target-m68k/
  39. target-microblaze/
  40. target-mips/
  41. target-moxie/
  42. target-openrisc/
  43. target-ppc/
  44. target-s390x/
  45. target-sh4/
  46. target-sparc/
  47. target-tilegx/
  48. target-tricore/
  49. target-unicore32/
  50. target-xtensa/
  51. tcg/
  52. tests/
  53. trace/
  54. ui/
  55. util/
  56. dtc
  57. pixman
  58. .dir-locals.el
  59. .exrc
  60. .gitignore
  61. .gitmodules
  62. .mailmap
  63. .travis.yml
  64. accel.c
  65. aio-posix.c
  66. aio-win32.c
  67. arch_init.c
  68. async.c
  69. balloon.c
  70. block.c
  71. blockdev-nbd.c
  72. blockdev.c
  73. blockjob.c
  74. bootdevice.c
  75. bt-host.c
  76. bt-vhci.c
  77. Changelog
  78. CODING_STYLE
  79. configure
  80. COPYING
  81. COPYING.LIB
  82. cpu-exec-common.c
  83. cpu-exec.c
  84. cpus-common.c
  85. cpus.c
  86. cputlb.c
  87. device-hotplug.c
  88. device_tree.c
  89. disas.c
  90. dma-helpers.c
  91. dump.c
  92. exec.c
  93. gdbstub.c
  94. HACKING
  95. hmp-commands-info.hx
  96. hmp-commands.hx
  97. hmp.c
  98. hmp.h
  99. iohandler.c
  100. ioport.c
  101. iothread.c
  102. kvm-all.c
  103. kvm-stub.c
  104. LICENSE
  105. main-loop.c
  106. MAINTAINERS
  107. Makefile
  108. Makefile.objs
  109. Makefile.target
  110. memory.c
  111. memory_mapping.c
  112. module-common.c
  113. monitor.c
  114. numa.c
  115. os-posix.c
  116. os-win32.c
  117. page_cache.c
  118. qapi-schema.json
  119. qdev-monitor.c
  120. qdict-test-data.txt
  121. qemu-bridge-helper.c
  122. qemu-char.c
  123. qemu-doc.texi
  124. qemu-ga.texi
  125. qemu-img-cmds.hx
  126. qemu-img.c
  127. qemu-img.texi
  128. qemu-io-cmds.c
  129. qemu-io.c
  130. qemu-nbd.c
  131. qemu-nbd.texi
  132. qemu-option-trace.texi
  133. qemu-options-wrapper.h
  134. qemu-options.h
  135. qemu-options.hx
  136. qemu-seccomp.c
  137. qemu-tech.texi
  138. qemu-timer.c
  139. qemu.nsi
  140. qemu.sasl
  141. qmp.c
  142. qtest.c
  143. README
  144. replication.c
  145. replication.h
  146. rules.mak
  147. softmmu_template.h
  148. spice-qemu-char.c
  149. tcg-runtime.c
  150. tci.c
  151. thread-pool.c
  152. thunk.c
  153. tpm.c
  154. trace-events
  155. translate-all.c
  156. translate-all.h
  157. translate-common.c
  158. user-exec.c
  159. VERSION
  160. version.rc
  161. vl.c
  162. xen-common-stub.c
  163. xen-common.c
  164. xen-hvm-stub.c
  165. xen-hvm.c
  166. xen-mapcache.c