// Check to see if on 4k boundary, If not aligned, make the allocation aligned.\r
//\r
*(FreeMemoryTop) -= *(FreeMemoryTop) & 0xFFF;\r
- \r
+\r
//\r
- // Verify that there is sufficient memory to satisfy the allocation\r
+ // Verify that there is sufficient memory to satisfy the allocation.\r
+ // For page allocation, the overhead sizeof (EFI_HOB_MEMORY_ALLOCATION) needs to be considered.\r
//\r
- RemainingPages = (UINTN)(*FreeMemoryTop - *FreeMemoryBottom) >> EFI_PAGE_SHIFT;\r
+ if ((UINTN) (*FreeMemoryTop - *FreeMemoryBottom) < (UINTN) ALIGN_VALUE (sizeof (EFI_HOB_MEMORY_ALLOCATION), 8)) {\r
+ DEBUG ((EFI_D_ERROR, "AllocatePages failed: No space to build memory allocation hob.\n"));\r
+ return EFI_OUT_OF_RESOURCES;\r
+ }\r
+ RemainingPages = (UINTN)(*FreeMemoryTop - *FreeMemoryBottom - ALIGN_VALUE (sizeof (EFI_HOB_MEMORY_ALLOCATION), 8)) >> EFI_PAGE_SHIFT;\r
//\r
- // For page allocation, the overhead sizeof (EFI_HOB_MEMORY_ALLOCATION) needs one extra page.\r
- // So the number of remaining pages needs to be greater than that of the request pages.\r
+ // The number of remaining pages needs to be greater than or equal to that of the request pages.\r
//\r
- if (RemainingPages <= Pages) {\r
+ if (RemainingPages < Pages) {\r
DEBUG ((EFI_D_ERROR, "AllocatePages failed: No 0x%lx Pages is available.\n", (UINT64) Pages));\r
DEBUG ((EFI_D_ERROR, "There is only left 0x%lx pages memory resource to be allocated.\n", (UINT64) RemainingPages));\r
return EFI_OUT_OF_RESOURCES;\r