* Copyright 2016-2024, Haiku, Inc. All rights reserved.
* Distributed under the terms of the MIT License.
*/
#include <boot/platform.h>
#include <kernel/kernel.h>
#include "efi_platform.h"
extern "C" ssize_t
platform_allocate_heap_region(size_t _size, void** _base)
{
size_t pages = HOWMANY(_size, B_PAGE_SIZE);
efi_physical_addr base;
if (kBootServices->AllocatePages(AllocateAnyPages, EfiLoaderData, pages, &base) != EFI_SUCCESS)
return B_NO_MEMORY;
*_base = (void*)base;
return pages * B_PAGE_SIZE;
}
extern "C" void
platform_free_heap_region(void* base, size_t size)
{
kBootServices->FreePages((efi_physical_addr)base, size / B_PAGE_SIZE);
}
