#include <mem/malloc.h>
#include <string.h>
#include "efi.h"

void *efi_malloc(size_t size, enum heap heap, malloc_tag_t tag)
{
	return AllocatePool(size);
}

void *efi_realloc(void *ptr, size_t size)
{
	void *newptr;

	newptr = AllocatePool(size);
	memcpy(newptr, ptr, size);
	FreePool(ptr);
	return newptr;
}

void efi_free(void *ptr)
{
	FreePool(ptr);
}
