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