xref: /haiku/headers/private/kernel/boot/platform/openfirmware/platform_arch.h (revision 9eb55bc1d104b8fda80898f8b25c94d8000c8255)
1 /*
2 ** Copyright 2003, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
3 ** Distributed under the terms of the OpenBeOS License.
4 */
5 #ifndef KERNEL_BOOT_PLATFORM_OPENFIRMWARE_ARCH_H
6 #define KERNEL_BOOT_PLATFORM_OPENFIRMWARE_ARCH_H
7 
8 
9 #include <SupportDefs.h>
10 
11 
12 #ifdef __cplusplus
13 extern "C" {
14 #endif
15 
16 extern status_t arch_set_callback(void);
17 extern void *arch_mmu_allocate(void *address, size_t size, uint8 protection);
18 extern status_t arch_mmu_free(void *address, size_t size);
19 extern status_t arch_mmu_init(void);
20 
21 #ifdef __cplusplus
22 }
23 #endif
24 
25 #endif	/* KERNEL_BOOT_PLATFORM_OPENFIRMWARE_ARCH_H */
26