}\r
\r
if (AlignedMemory != 0) {\r
- FlushCache(AlignedMemory, EFI_PAGES_TO_SIZE(Pages));\r
+ FlushCache (AlignedMemory, EFI_PAGES_TO_SIZE(Pages));\r
AlignedMemory = (UINTN)ConvertToUncachedAddress((VOID *)AlignedMemory);\r
}\r
\r
*FreePointer = RawAddress;\r
\r
if (AlignedAddress != 0) {\r
- FlushCache(AlignedAddress, AllocationSize);\r
+ FlushCache (AlignedAddress, AllocationSize);\r
AlignedAddress = (UINTN)ConvertToUncachedAddress((VOID *)AlignedAddress);\r
}\r
\r