[xen master] xen/arm: Add asm/domain.h include to kernel.h

[patchbot@xxxxxxx]

commit dcb92d4ef142c2b74bf8b9b23e6c27fde9f2bc35
Author:     Luca Fancellu <luca.fancellu@xxxxxxx>
AuthorDate: Fri Nov 24 09:48:38 2023 +0000
Commit:     Julien Grall <julien@xxxxxxx>
CommitDate: Tue Nov 28 19:20:44 2023 +0100

    xen/arm: Add asm/domain.h include to kernel.h
    
    The 'enum domain_type' is defined by 'asm/domain.h' which is not
    included (directly or indirectly) by 'asm/kernel.h'.
    
    This currently doesn't break the compilation because asm/domain.h will
    included by the user of 'kernel.h'. But it would be better to avoid
    relying on it. So add the include in 'asm/domain.h'.
    
    Signed-off-by: Luca Fancellu <luca.fancellu@xxxxxxx>
    Acked-by: Julien Grall <jgrall@xxxxxxxxxx>
---
 xen/arch/arm/include/asm/kernel.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/xen/arch/arm/include/asm/kernel.h 
b/xen/arch/arm/include/asm/kernel.h
index 4617cdc83b..0a23e86c2d 100644
--- a/xen/arch/arm/include/asm/kernel.h
+++ b/xen/arch/arm/include/asm/kernel.h
@@ -7,6 +7,7 @@
 #define __ARCH_ARM_KERNEL_H__
 
 #include <xen/device_tree.h>
+#include <asm/domain.h>
 #include <asm/setup.h>
 
 /*
--
generated by git-patchbot for /home/xen/git/xen.git#master