Reported by header-check script: We need this in the header due to the
use of struct jailhouse_memory. Consequently, we can remove the include
from the corresponding amd_iommu.c.
Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
*/
#include <jailhouse/cell.h>
-#include <jailhouse/cell-config.h>
#include <jailhouse/control.h>
#include <jailhouse/mmio.h>
#include <jailhouse/pci.h>
#include <jailhouse/types.h>
#include <jailhouse/utils.h>
+#include <jailhouse/cell-config.h>
+
#define AMD_IOMMU_PTE_P (1ULL << 0)
#define AMD_IOMMU_PTE_PG_MODE(level) ((level) << 9)
#define AMD_IOMMU_PTE_PG_MODE_MASK BIT_MASK(11, 9)