#pragma once
#include <stdint.h>

namespace KernelHeap
{ // Virtual memory allocator for the kernel, goes from -128MB to -64MB
    uint64_t request_virtual_page();
    uint64_t request_virtual_pages(uint64_t count);

    void free_virtual_page(uint64_t address);
    void free_virtual_pages(uint64_t address, uint64_t count);
}