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