7 files changed, 16 insertions, 16 deletions
diff --git a/src/acpi/acpi.c b/src/acpi/acpi.c
index 8e7b51d79d..d5b2c6b274 100644
--- a/src/acpi/acpi.c
+++ b/src/acpi/acpi.c
@@ -16,9 +16,9 @@
 
 #include <console/console.h>
 #include <string.h>
-#include <arch/acpi.h>
-#include <arch/acpi_ivrs.h>
-#include <arch/acpigen.h>
+#include <acpi/acpi.h>
+#include <acpi/acpi_ivrs.h>
+#include <acpi/acpigen.h>
 #include <device/pci.h>
 #include <cbmem.h>
 #include <commonlib/helpers.h>
diff --git a/src/acpi/acpi_device.c b/src/acpi/acpi_device.c
index 9f63200121..6b067f3a0f 100644
--- a/src/acpi/acpi_device.c
+++ b/src/acpi/acpi_device.c
@@ -3,9 +3,9 @@
 
 #include <assert.h>
 #include <string.h>
-#include <arch/acpi.h>
-#include <arch/acpi_device.h>
-#include <arch/acpigen.h>
+#include <acpi/acpi.h>
+#include <acpi/acpi_device.h>
+#include <acpi/acpigen.h>
 #include <device/device.h>
 #include <device/path.h>
 #include <stdlib.h>
diff --git a/src/acpi/acpi_pld.c b/src/acpi/acpi_pld.c
index 135009a243..a2d0dd7fe7 100644
--- a/src/acpi/acpi_pld.c
+++ b/src/acpi/acpi_pld.c
@@ -3,8 +3,8 @@
 
 #include <stdint.h>
 #include <string.h>
-#include <arch/acpi.h>
-#include <arch/acpi_pld.h>
+#include <acpi/acpi.h>
+#include <acpi/acpi_pld.h>
 
 int acpi_pld_fill_usb(struct acpi_pld *pld, enum acpi_upc_type type,
 		      struct acpi_pld_group *group)
diff --git a/src/acpi/acpigen.c b/src/acpi/acpigen.c
index dfc2a5adf4..a2dc84f799 100644
--- a/src/acpi/acpigen.c
+++ b/src/acpi/acpigen.c
@@ -13,7 +13,7 @@
 
 #include <lib.h>
 #include <string.h>
-#include <arch/acpigen.h>
+#include <acpi/acpigen.h>
 #include <assert.h>
 #include <console/console.h>
 #include <device/device.h>
diff --git a/src/acpi/acpigen_dsm.c b/src/acpi/acpigen_dsm.c
index ecac3fefb8..b7b2a0bf18 100644
--- a/src/acpi/acpigen_dsm.c
+++ b/src/acpi/acpigen_dsm.c
@@ -1,8 +1,8 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 /* This file is part of the coreboot project. */
 
-#include <arch/acpigen.h>
-#include <arch/acpigen_dsm.h>
+#include <acpi/acpigen.h>
+#include <acpi/acpigen_dsm.h>
 
 /* -------------------  I2C HID DSM ---------------------------- */
 
diff --git a/src/acpi/acpigen_ps2_keybd.c b/src/acpi/acpigen_ps2_keybd.c
index 7943f9a158..be8d2eb999 100644
--- a/src/acpi/acpigen_ps2_keybd.c
+++ b/src/acpi/acpigen_ps2_keybd.c
@@ -4,9 +4,9 @@
  * SPDX-License-Identifier: GPL-2.0-or-later
  */
 
-#include <arch/acpi.h>
-#include <arch/acpigen.h>
-#include <arch/acpigen_ps2_keybd.h>
+#include <acpi/acpi.h>
+#include <acpi/acpigen.h>
+#include <acpi/acpigen_ps2_keybd.h>
 #include <console/console.h>
 #include <input-event-codes.h>
 
diff --git a/src/acpi/sata.c b/src/acpi/sata.c
index f2b381124e..f2f53e6f64 100644
--- a/src/acpi/sata.c
+++ b/src/acpi/sata.c
@@ -3,8 +3,8 @@
 
 #include "sata.h"
 
-#include <arch/acpi.h>
-#include <arch/acpigen.h>
+#include <acpi/acpi.h>
+#include <acpi/acpigen.h>
 
 /* e.g.
  * generate_sata_ssdt_ports("\_SB.PCI0.SATA", 0x3);