1 /* 2 * Copyright 2006, Axel Dörfler, axeld@pinc-software.de. 3 * Copyright 2005, Ingo Weinhold <bonefish@cs.tu-berlin.de>. 4 * 5 * All rights reserved. Distributed under the terms of the MIT License. 6 */ 7 #ifndef _KERNEL_ARCH_PLATFORM_H 8 #define _KERNEL_ARCH_PLATFORM_H 9 10 11 #include <SupportDefs.h> 12 13 struct kernel_args; 14 15 16 #ifdef __cplusplus 17 extern "C" { 18 #endif 19 20 status_t arch_platform_init(struct kernel_args *kernelArgs); 21 status_t arch_platform_init_post_vm(struct kernel_args *kernelArgs); 22 status_t arch_platform_init_post_thread(struct kernel_args *kernelArgs); 23 24 #ifdef __cplusplus 25 } // extern "C" 26 #endif 27 28 29 #endif // _KERNEL_ARCH_PLATFORM_H 30