diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2014-09-17 12:21:29 +0200 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2016-05-19 16:42:28 +0200 |
| commit | 77ac58ddc6be324abc3451ae78a1799efa7cc3b7 (patch) | |
| tree | 3fa85c47b2104596c0d4f377cd0b9ae507c8811b /hw/ppc/e500plat.c | |
| parent | da163845602bf75999054d2a9b9f8f877cb36ce2 (diff) | |
dma: do not depend on kvm_enabled()
Memory barriers are needed also by Xen and, when the ioeventfd
bugs are fixed, by TCG as well.
sysemu/kvm.h is not anymore needed in sysemu/dma.h, move it to
the actual users.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'hw/ppc/e500plat.c')
| -rw-r--r-- | hw/ppc/e500plat.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hw/ppc/e500plat.c b/hw/ppc/e500plat.c index b00565c3d3..94b454551f 100644 --- a/hw/ppc/e500plat.c +++ b/hw/ppc/e500plat.c @@ -14,6 +14,7 @@ #include "e500.h" #include "hw/boards.h" #include "sysemu/device_tree.h" +#include "sysemu/kvm.h" #include "hw/pci/pci.h" #include "hw/ppc/openpic.h" #include "kvm_ppc.h" |