1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _LINUX_START_KERNEL_H
3#define _LINUX_START_KERNEL_H
4
5#include <linux/linkage.h>
6#include <linux/init.h>
7
8/* Define the prototype for start_kernel here, rather than cluttering
9 up something else. */
10
11extern asmlinkage void __init __noreturn start_kernel(void);
12extern void __init __noreturn arch_call_rest_init(void);
13extern void __ref __noreturn rest_init(void);
14
15#endif /* _LINUX_START_KERNEL_H */
16

source code of linux/include/linux/start_kernel.h