xref: /haiku/headers/private/kernel/boot/platform/efi/arch_start.h (revision f6373f2244fd555c134f3266657ffe8b540da397)
1 /*
2  * Copyright 2019-2021, 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_convert_kernel_args(void);
10 void arch_start_kernel(addr_t kernelEntry);
11 
12 
13 #endif /* __ARCH_START_H */
14