/*
 * 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);
}