The header asm-arm/page.h makes use of the macro dsb defined in the header
asm-arm/system.h. Currently, the includer has to specify both of them.
This can be avoided by including asm-arm/system.h in asm-arm/page.h.
Signed-off-by: Julien Grall <julien.grall@arm.com>
Acked-by: Stefano Stabellini <sstabellini@kernel.org>
#include <xen/errno.h>
#include <xen/types.h>
#include <xen/lib.h>
+#include <asm/system.h>
/* WARNING! Unlike the Intel pagetable code, where l1 is the lowest
* level and l4 is the root of the trie, the ARM pagetables follow ARM's