1 #include <mem/malloc.h>
5 void *efi_malloc(size_t size
, enum heap heap
, malloc_tag_t tag
)
7 return AllocatePool(size
);
10 void *efi_realloc(void *ptr
, size_t size
)
14 newptr
= AllocatePool(size
);
15 memcpy(newptr
, ptr
, size
);
20 void efi_free(void *ptr
)