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