ArmPkg/CpuDxe: Fixed AArch64 MMU/GCD synchronization

[mirror_edk2.git] / ArmPkg / Drivers / CpuDxe / CpuMmuCommon.c

diff --git a/ArmPkg/Drivers/CpuDxe/CpuMmuCommon.c b/ArmPkg/Drivers/CpuDxe/CpuMmuCommon.c
index b1364820a452fe2af06ac2406b80dc494a3e0fc1..e0ee9fc28718b2ddf52b6b65686c87731f9e4fec 100644 (file)
--- a/ArmPkg/Drivers/CpuDxe/CpuMmuCommon.c
+++ b/ArmPkg/Drivers/CpuDxe/CpuMmuCommon.c
@@ -96,6 +96,13 @@ SetGcdMemorySpaceAttributes (
   DEBUG ((DEBUG_GCD, "SetGcdMemorySpaceAttributes[0x%lX; 0x%lX] = 0x%lX\n",\r
       BaseAddress, BaseAddress + Length, Attributes));\r
 \r
+  // We do not support a smaller granularity than 4KB on ARM Architecture\r
+  if ((Length & EFI_PAGE_MASK) != 0) {\r
+    DEBUG ((DEBUG_WARN,\r
+            "Warning: We do not support smaller granularity than 4KB on ARM Architecture (passed length: 0x%lX).\n",\r
+            Length));\r
+  }\r
+\r
   //\r
   // Get all memory descriptors covered by the memory range\r
   //\r