xref: /haiku/headers/private/kernel/boot/platform/efi/arch_start.h (revision 4b918abdb02a26a770d898594eaaccc6f1726e9b)
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