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);
12
13#endif /* _LINUX_START_KERNEL_H */
14