UINT64 ChunkLength;\r
BOOLEAN FlushTlbs;\r
\r
- if (BaseAddress > (UINT64)MAX_ADDRESS - Length + 1) {\r
+ if (BaseAddress > (UINT64)MAX_ADDRESS) {\r
return EFI_UNSUPPORTED;\r
}\r
\r
+ Length = MIN (Length, (UINT64)MAX_ADDRESS - BaseAddress + 1);\r
if (Length == 0) {\r
return EFI_SUCCESS;\r
}\r