xref: /haiku/headers/private/kernel/boot/platform/efi/arch_start.h (revision 268f99dd7dc4bd7474a8bd2742d3f1ec1de6752a)
104f1baa7SAlexander von Gluck IV /*
2*af90bfd3SDavid Karoly  * Copyright 2019-2021, Haiku, Inc. All rights reserved.
304f1baa7SAlexander von Gluck IV  * Released under the terms of the MIT License.
404f1baa7SAlexander von Gluck IV  */
504f1baa7SAlexander von Gluck IV #ifndef __ARCH_START_H
604f1baa7SAlexander von Gluck IV #define __ARCH_START_H
704f1baa7SAlexander von Gluck IV 
804f1baa7SAlexander von Gluck IV 
9*af90bfd3SDavid Karoly void arch_convert_kernel_args(void);
1004f1baa7SAlexander von Gluck IV void arch_start_kernel(addr_t kernelEntry);
1104f1baa7SAlexander von Gluck IV 
1204f1baa7SAlexander von Gluck IV 
1304f1baa7SAlexander von Gluck IV #endif /* __ARCH_START_H */
14