blob: 82b7876bf661ce810954b30d74ae68fe2e642fdf [file] [log] [blame]
// 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
#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"