/* If Length is greater than (MAX_ADDRESS - Address + 1), then ASSERT(). */
VOID* EFIAPI WriteBackInvalidateDataCacheRange(IN VOID *Address, IN UINTN Length)
/* If Length is greater than (MAX_ADDRESS - Address + 1), then ASSERT(). */
VOID* EFIAPI WriteBackInvalidateDataCacheRange(IN VOID *Address, IN UINTN Length)
{
  ASSERT (Length <= MAX_ADDRESS - (UINTN)Address + 1);
  return Address;
}