commit 8823ba167318e87f74717d0c32e29b58a1ed3eca
author Elyes Haouas <ehaouas@noos.fr> Mon Dec 05 08:48:50 2022 +0100
committer Felix Held <felix-coreboot@felixheld.de> Sat Dec 10 05:07:14 2022 +0000
tree a63711a64d2efb526a86b63b61ce15413a5f9caf
parent 8d1ef734a220d2cbb297a4f9485c0364c5a76071

treewide: Include <device/mmio.h> instead of <arch/mmio.h>

<device/mmio.h>` chain-include `<arch/mmio.h>:
https://doc.coreboot.org/contributing/coding_style.html#headers-and-includes

Also sort includes while on it.

Change-Id: Ie62e4295ce735a6ca74fbe2499b41aab2e76d506
Signed-off-by: Elyes Haouas <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/70291
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Felix Held <felix-coreboot@felixheld.de>

src/drivers/emulation/qemu/bochs.c

diff --git a/src/drivers/emulation/qemu/bochs.c b/src/drivers/emulation/qemu/bochs.c
index d3b9007..4634021 100644
--- a/src/drivers/emulation/qemu/bochs.c
+++ b/src/drivers/emulation/qemu/bochs.c
@@ -1,16 +1,16 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
-#include <stdint.h>
 #include <arch/io.h>
-#include <arch/mmio.h>
 #include <console/console.h>
 #include <device/device.h>
+#include <device/mmio.h>
 #include <device/pci.h>
-#include <device/pci_ops.h>
 #include <device/pci_ids.h>
+#include <device/pci_ops.h>
+#include <framebuffer_info.h>
 #include <pc80/vga.h>
 #include <pc80/vga_io.h>
-#include <framebuffer_info.h>
+#include <stdint.h>
 
 /* VGA init. We use the Bochs VESA VBE extensions  */
 #define VBE_DISPI_IOPORT_INDEX          0x01CE

src/drivers/intel/ptt/ptt.c

diff --git a/src/drivers/intel/ptt/ptt.c b/src/drivers/intel/ptt/ptt.c
index 5b0918b..76b8ed6 100644
--- a/src/drivers/intel/ptt/ptt.c
+++ b/src/drivers/intel/ptt/ptt.c
@@ -1,10 +1,10 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
-#include <arch/mmio.h>
-#include <soc/pci_devs.h>
-#include <device/pci_ops.h>
 #include <console/console.h>
+#include <device/mmio.h>
+#include <device/pci_ops.h>
 #include <security/intel/txt/txt_register.h>
+#include <soc/pci_devs.h>
 #include <stdint.h>
 
 #include "ptt.h"

src/drivers/siemens/nc_fpga/nc_fpga_early.c

diff --git a/src/drivers/siemens/nc_fpga/nc_fpga_early.c b/src/drivers/siemens/nc_fpga/nc_fpga_early.c
index 44ed97a..8cdc1f9 100644
--- a/src/drivers/siemens/nc_fpga/nc_fpga_early.c
+++ b/src/drivers/siemens/nc_fpga/nc_fpga_early.c
@@ -1,6 +1,6 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
-#include <arch/mmio.h>
+#include <device/mmio.h>
 #include <device/pci.h>
 #include <device/pci_def.h>
 #include <device/pci_ids.h>