start_kernel.h

 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 */