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 13struct kernel_args; 14 15 16#ifdef __cplusplus 17extern "C" { 18#endif 19 20status_t arch_platform_init(struct kernel_args *kernelArgs); 21status_t arch_platform_init_post_vm(struct kernel_args *kernelArgs); 22status_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