hv: mod: do not use explicit arch name when including headers

Instead of "#include <x86/foo.h>", use "#include <asm/foo.h>".

In other words, we are adopting the same practice in Linux kernel.

Tracked-On: #5920
Signed-off-by: Liang Yi <yi.liang@intel.com>
Reviewed-by: Jason Chen CJ <jason.cj.chen@intel.com>

hypervisor/dm/vpci/ivshmem.c

@@ -5,9 +5,9 @@
  */
 
 #ifdef CONFIG_IVSHMEM_ENABLED
-#include <x86/guest/vm.h>
-#include <x86/mmu.h>
-#include <x86/guest/ept.h>
+#include <asm/guest/vm.h>
+#include <asm/mmu.h>
+#include <asm/guest/ept.h>
 #include <logmsg.h>
 #include <errno.h>
 #include <ivshmem.h>

hypervisor/dm/vpci/pci_pt.c

@@ -26,14 +26,14 @@
 *
 * $FreeBSD$
 */
-#include <x86/guest/vm.h>
+#include <asm/guest/vm.h>
 #include <errno.h>
 #include <ptdev.h>
-#include <x86/guest/assign.h>
-#include <x86/vtd.h>
-#include <x86/guest/ept.h>
-#include <x86/mmu.h>
-#include <x86/io.h>
+#include <asm/guest/assign.h>
+#include <asm/vtd.h>
+#include <asm/guest/ept.h>
+#include <asm/mmu.h>
+#include <asm/io.h>
 #include <logmsg.h>
 #include "vpci_priv.h"
 

hypervisor/dm/vpci/vdev.c

@@ -27,9 +27,9 @@
  * $FreeBSD$
  */
 
-#include <x86/guest/vm.h>
+#include <asm/guest/vm.h>
 #include "vpci_priv.h"
-#include <x86/guest/ept.h>
+#include <asm/guest/ept.h>
 #include <logmsg.h>
 #include <hash.h>
 

hypervisor/dm/vpci/vhostbridge.c

@@ -34,7 +34,7 @@
 * Series Host Bridge (rev 0b)
 */
 
-#include <x86/guest/vm.h>
+#include <asm/guest/vm.h>
 #include <pci.h>
 #include "vpci_priv.h"
 #include <vacpi.h>

hypervisor/dm/vpci/vmcs9900.c

@@ -4,8 +4,8 @@
  * SPDX-License-Identifier: BSD-3-Clause
  */
 
-#include <x86/guest/vm.h>
-#include <x86/guest/ept.h>
+#include <asm/guest/vm.h>
+#include <asm/guest/ept.h>
 #include <vpci.h>
 #include <logmsg.h>
 #include <vmcs9900.h>

hypervisor/dm/vpci/vmsi.c

@@ -27,11 +27,11 @@
  * $FreeBSD$
  */
 
-#include <x86/guest/vm.h>
+#include <asm/guest/vm.h>
 #include <ptdev.h>
-#include <x86/guest/assign.h>
+#include <asm/guest/assign.h>
 #include <vpci.h>
-#include <x86/vtd.h>
+#include <asm/vtd.h>
 #include "vpci_priv.h"
 
 

hypervisor/dm/vpci/vmsix.c

@@ -27,11 +27,11 @@
  * $FreeBSD$
  */
 
-#include <x86/guest/vm.h>
+#include <asm/guest/vm.h>
 #include <errno.h>
 #include <vpci.h>
-#include <x86/guest/ept.h>
-#include <x86/mmu.h>
+#include <asm/guest/ept.h>
+#include <asm/mmu.h>
 #include <logmsg.h>
 #include "vpci_priv.h"
 

hypervisor/dm/vpci/vmsix_on_msi.c

@@ -4,12 +4,12 @@
  * SPDX-License-Identifier: BSD-3-Clause
  */
 
-#include <x86/guest/vm.h>
+#include <asm/guest/vm.h>
 #include <ptdev.h>
-#include <x86/guest/assign.h>
+#include <asm/guest/assign.h>
 #include <vpci.h>
-#include <x86/vtd.h>
-#include <x86/board.h>
+#include <asm/vtd.h>
+#include <asm/board.h>
 #include "vpci_priv.h"
 
 #define PER_VECTOR_MASK_CAP 0x0100U

hypervisor/dm/vpci/vpci.c

@@ -29,14 +29,14 @@
 
 #include <errno.h>
 #include <ptdev.h>
-#include <x86/guest/vm.h>
-#include <x86/vtd.h>
-#include <x86/io.h>
-#include <x86/mmu.h>
+#include <asm/guest/vm.h>
+#include <asm/vtd.h>
+#include <asm/io.h>
+#include <asm/mmu.h>
 #include <vacpi.h>
 #include <logmsg.h>
 #include "vpci_priv.h"
-#include <x86/pci_dev.h>
+#include <asm/pci_dev.h>
 #include <hash.h>
 
 static void vpci_init_vdevs(struct acrn_vm *vm);

hypervisor/dm/vpci/vpci_bridge.c

@@ -45,7 +45,7 @@
  *   1. SOS how to reset PCI devices under the PCI bridge
  */
 
-#include <x86/guest/vm.h>
+#include <asm/guest/vm.h>
 #include <errno.h>
 #include <logmsg.h>
 #include <pci.h>

hypervisor/dm/vpci/vsriov.c

@@ -27,10 +27,10 @@
  * $FreeBSD$
  */
 
-#include <x86/guest/vm.h>
+#include <asm/guest/vm.h>
 #include <ptdev.h>
 #include <vpci.h>
-#include <x86/pci_dev.h>
+#include <asm/pci_dev.h>
 #include <logmsg.h>
 
 #include "vpci_priv.h"