/* Internal function. Frees pool pages allocated via AllocatePoolPages () */
VOID CoreFreePoolPages(IN EFI_PHYSICAL_ADDRESS Memory, IN UINTN NumberOfPages)
/* Internal function. Frees pool pages allocated via AllocatePoolPages () */
VOID CoreFreePoolPages(IN EFI_PHYSICAL_ADDRESS Memory, IN UINTN NumberOfPages)
{
  CoreConvertPages (Memory, NumberOfPages, EfiConventionalMemory);
}