17afa713aSIngo Weinhold /* 2*afd6dfc8SAxel Dörfler * Copyright 2006, Axel Dörfler, axeld@pinc-software.de. 37afa713aSIngo Weinhold * Copyright 2005, Ingo Weinhold <bonefish@cs.tu-berlin.de>. 4*afd6dfc8SAxel Dörfler * 57afa713aSIngo Weinhold * All rights reserved. Distributed under the terms of the MIT License. 67afa713aSIngo Weinhold */ 77afa713aSIngo Weinhold #ifndef _KERNEL_ARCH_PLATFORM_H 87afa713aSIngo Weinhold #define _KERNEL_ARCH_PLATFORM_H 97afa713aSIngo Weinhold 10*afd6dfc8SAxel Dörfler 117afa713aSIngo Weinhold #include <SupportDefs.h> 127afa713aSIngo Weinhold 137afa713aSIngo Weinhold struct kernel_args; 147afa713aSIngo Weinhold 15*afd6dfc8SAxel Dörfler 167afa713aSIngo Weinhold #ifdef __cplusplus 177afa713aSIngo Weinhold extern "C" { 187afa713aSIngo Weinhold #endif 197afa713aSIngo Weinhold 207afa713aSIngo Weinhold status_t arch_platform_init(struct kernel_args *kernelArgs); 217afa713aSIngo Weinhold status_t arch_platform_init_post_vm(struct kernel_args *kernelArgs); 22*afd6dfc8SAxel Dörfler status_t arch_platform_init_post_thread(struct kernel_args *kernelArgs); 237afa713aSIngo Weinhold 247afa713aSIngo Weinhold #ifdef __cplusplus 257afa713aSIngo Weinhold } // extern "C" 267afa713aSIngo Weinhold #endif 277afa713aSIngo Weinhold 287afa713aSIngo Weinhold 297afa713aSIngo Weinhold #endif // _KERNEL_ARCH_PLATFORM_H 30