// Copyright 2016 The Fuchsia Authors
// Copyright (c) 2014 Travis Geiselbrecht
//
// Use of this source code is governed by a MIT-style
// license that can be found in the LICENSE file or at
// https://opensource.org/licenses/MIT

#ifndef ZIRCON_KERNEL_VM_INCLUDE_VM_BOOTALLOC_H_
#define ZIRCON_KERNEL_VM_INCLUDE_VM_BOOTALLOC_H_

#include <sys/types.h>
#include <zircon/compiler.h>

// simple boot time allocator, used to carve off memory before
// the VM is completely up and running
extern "C" {
void boot_alloc_init();
void* boot_alloc_mem(size_t len) __MALLOC;
void boot_alloc_reserve(paddr_t phys, size_t len);
paddr_t boot_alloc_page_phys();

extern paddr_t boot_alloc_start;
extern paddr_t boot_alloc_end;

}  // extern "C"

#endif  // ZIRCON_KERNEL_VM_INCLUDE_VM_BOOTALLOC_H_