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