|
@@ -30,7 +30,7 @@
|
|
#include "hw/pci/pci_bridge.h"
|
|
#include "hw/pci/pci_bridge.h"
|
|
#include "hw/mem/nvdimm.h"
|
|
#include "hw/mem/nvdimm.h"
|
|
#include "migration/global_state.h"
|
|
#include "migration/global_state.h"
|
|
-#include "exec/confidential-guest-support.h"
|
|
|
|
|
|
+#include "system/confidential-guest-support.h"
|
|
#include "hw/virtio/virtio-pci.h"
|
|
#include "hw/virtio/virtio-pci.h"
|
|
#include "hw/virtio/virtio-net.h"
|
|
#include "hw/virtio/virtio-net.h"
|
|
#include "hw/virtio/virtio-iommu.h"
|
|
#include "hw/virtio/virtio-iommu.h"
|