Message ID | 05f4dd673312ddd52dcbc8a3b7bcf0ee84993d6e.1691655814.git.nicola.vetrini@bugseng.com (mailing list archive) |
---|---|
State | New, archived |
Headers | show |
Series | fix missing headers and static storage duration | expand |
diff --git a/xen/arch/arm/setup.c b/xen/arch/arm/setup.c index bbf72b69aae6..44ccea03ca14 100644 --- a/xen/arch/arm/setup.c +++ b/xen/arch/arm/setup.c @@ -32,6 +32,7 @@ #include <xen/libfdt/libfdt-xen.h> #include <xen/acpi.h> #include <xen/warning.h> +#include <xen/hypercall.h> #include <asm/alternative.h> #include <asm/page.h> #include <asm/current.h> diff --git a/xen/arch/arm/time.c b/xen/arch/arm/time.c index 0b482d7db30c..3535bd8ac7c7 100644 --- a/xen/arch/arm/time.c +++ b/xen/arch/arm/time.c @@ -17,6 +17,7 @@ #include <xen/softirq.h> #include <xen/sched.h> #include <xen/time.h> +#include <xen/delay.h> #include <xen/sched.h> #include <xen/event.h> #include <xen/acpi.h>