1/*
2** Copyright 2003, Axel D��rfler, axeld@pinc-software.de. All rights reserved.
3** Distributed under the terms of the MIT License.
4*/
5#ifndef KERNEL_BOOT_PLATFORM_UBOOT_ARCH_H
6#define KERNEL_BOOT_PLATFORM_UBOOT_ARCH_H
7
8
9#include <SupportDefs.h>
10
11struct kernel_args;
12
13#ifdef __cplusplus
14extern "C" {
15#endif
16
17/* memory management */
18
19extern status_t arch_set_callback(void);
20extern void *arch_mmu_allocate(void *address, size_t size, uint8 protection,
21	bool exactAddress);
22extern status_t arch_mmu_free(void *address, size_t size);
23extern status_t arch_mmu_init(void);
24
25/* CPU */
26
27extern status_t boot_arch_cpu_init(void);
28
29/* kernel start */
30
31status_t arch_start_kernel(struct kernel_args *kernelArgs, addr_t kernelEntry,
32	addr_t kernelStackTop);
33
34#ifdef __cplusplus
35}
36#endif
37
38#endif	/* KERNEL_BOOT_PLATFORM_UBOOT_ARCH_H */
39