summaryrefslogtreecommitdiff
path: root/src/security/intel
diff options
context:
space:
mode:
Diffstat (limited to 'src/security/intel')
-rw-r--r--src/security/intel/txt/common.c4
-rw-r--r--src/security/intel/txt/logging.c2
-rw-r--r--src/security/intel/txt/ramstage.c2
-rw-r--r--src/security/intel/txt/romstage.c2
4 files changed, 5 insertions, 5 deletions
diff --git a/src/security/intel/txt/common.c b/src/security/intel/txt/common.c
index b88062d42b..b78394add2 100644
--- a/src/security/intel/txt/common.c
+++ b/src/security/intel/txt/common.c
@@ -1,12 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-only */
-#include <arch/mmio.h>
-#include <console/console.h>
#include <cbfs.h>
+#include <console/console.h>
#include <cpu/x86/cr.h>
#include <cpu/x86/mp.h>
#include <cpu/x86/msr.h>
#include <cpu/x86/mtrr.h>
+#include <device/mmio.h>
#include <lib.h>
#include <smp/node.h>
#include <string.h>
diff --git a/src/security/intel/txt/logging.c b/src/security/intel/txt/logging.c
index e3fcb5e274..6485b867e2 100644
--- a/src/security/intel/txt/logging.c
+++ b/src/security/intel/txt/logging.c
@@ -1,8 +1,8 @@
/* SPDX-License-Identifier: GPL-2.0-only */
-#include <arch/mmio.h>
#include <console/console.h>
#include <cpu/x86/smm.h>
+#include <device/mmio.h>
#include <types.h>
#include "txt.h"
diff --git a/src/security/intel/txt/ramstage.c b/src/security/intel/txt/ramstage.c
index 744b05e410..8a266a4230 100644
--- a/src/security/intel/txt/ramstage.c
+++ b/src/security/intel/txt/ramstage.c
@@ -1,13 +1,13 @@
/* SPDX-License-Identifier: GPL-2.0-only */
#include <acpi/acpi.h>
-#include <arch/mmio.h>
#include <bootmem.h>
#include <bootstate.h>
#include <cbfs.h>
#include <console/console.h>
#include <cpu/intel/common/common.h>
#include <cpu/x86/smm.h>
+#include <device/mmio.h>
#include <device/pci_ops.h>
#include <security/intel/cbnt/cbnt.h>
#include <types.h>
diff --git a/src/security/intel/txt/romstage.c b/src/security/intel/txt/romstage.c
index e045c9d6fb..e1329dd957 100644
--- a/src/security/intel/txt/romstage.c
+++ b/src/security/intel/txt/romstage.c
@@ -1,11 +1,11 @@
/* SPDX-License-Identifier: GPL-2.0-only */
#include <arch/cpu.h>
-#include <arch/mmio.h>
#include <console/console.h>
#include <cpu/intel/common/common.h>
#include <cpu/x86/cr.h>
#include <cpu/x86/msr.h>
+#include <device/mmio.h>
#include <southbridge/intel/common/pmbase.h>
#include <timer.h>
#include <types.h>