1 /*
2  * Copyright (c) 2014 Travis Geiselbrecht
3  *
4  * Use of this source code is governed by a MIT-style
5  * license that can be found in the LICENSE file or at
6  * https://opensource.org/licenses/MIT
7  */
8 #pragma once
9 
10 #include <kernel/vm.h>
11 #include <stdint.h>
12 #include <sys/types.h>
13 
14 /* simple boot time allocator */
15 void *boot_alloc_mem(size_t len) __MALLOC;
16 extern uintptr_t boot_alloc_start;
17 extern uintptr_t boot_alloc_end;
18 
19 void vmm_init_preheap(void);
20 void vmm_init(void);
21 
22