xref: /haiku/headers/private/kernel/boot/platform/efi/arch_start.h (revision f850bba8d08df4881980ba303b7f42b823a82b90)
1 /*
2  * Copyright 2019-2020, Haiku, Inc. All rights reserved.
3  * Released under the terms of the MIT License.
4  */
5 #ifndef __ARCH_START_H
6 #define __ARCH_START_H
7 
8 
9 void arch_start_kernel(addr_t kernelEntry);
10 
11 
12 #endif /* __ARCH_START_H */
13