Start by declaring the beginning and end of the init section.
No functional change intended.
Requested-by: Andrew Cooper <andrew.cooper3@citrix.com>
Signed-off-by: Roger Pau Monné <roger.pau@citrix.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
#include <xen/init.h>
#include <xen/libfdt/libfdt.h>
+#include <xen/sections.h>
#include <xen/sizes.h>
#include <xen/vmap.h>
unsigned long directmap_base_pdx __read_mostly;
#endif
-extern char __init_begin[], __init_end[];
-
/* Checking VA memory layout alignment. */
static void __init __maybe_unused build_assertions(void)
{
#include <xen/param.h>
#include <xen/sched.h>
#include <xen/domain.h>
+#include <xen/sections.h>
#include <xen/serial.h>
#include <xen/softirq.h>
#include <xen/acpi.h>
initial_images = NULL;
}
-extern unsigned char __init_begin[], __init_end[];
-
static void __init init_idle_domain(void)
{
scheduler_init();
--- /dev/null
+/* SPDX-License-Identifier: GPL-2.0-only */
+
+#ifndef __XEN_SECTIONS_H__
+#define __XEN_SECTIONS_H__
+
+/* SAF-0-safe */
+extern char __init_begin[], __init_end[];
+
+#endif /* !__XEN_SECTIONS_H__ */
+/*
+ * Local variables:
+ * mode: C
+ * c-file-style: "BSD"
+ * c-basic-offset: 4
+ * indent-tabs-mode: nil
+ * End:
+ */