#include "memory.h"
#include "buddymap.h"

physptr_t
mem_phys_take4k(void)
{
    return mem_buddy_takefree_4k();
}

void
mem_phys_reserve(physptr_t start, size_t len)
{
    mem_buddy_set_range(start, len);
}