ArmCache.c

Go to the documentation of this file.

 
//
// Include common header file for this module.
//
#include <Base.h>
#include <Library/DebugLib.h>
 
VOID
EFIAPI
InvalidateInstructionCache (
  VOID
  )
{
  ASSERT (FALSE);
}
 
VOID *
EFIAPI
InvalidateInstructionCacheRange (
  IN      VOID   *Address,
  IN      UINTN  Length
  )
{
  ASSERT (Length <= MAX_ADDRESS - (UINTN)Address + 1);
  ASSERT (FALSE);
  return Address;
}
 
VOID
EFIAPI
WriteBackInvalidateDataCache (
  VOID
  )
{
  ASSERT (FALSE);
}
 
VOID *
EFIAPI
WriteBackInvalidateDataCacheRange (
  IN      VOID   *Address,
  IN      UINTN  Length
  )
{
  ASSERT (Length <= MAX_ADDRESS - (UINTN)Address + 1);
  ASSERT (FALSE);
  return Address;
}
 
VOID
EFIAPI
WriteBackDataCache (
  VOID
  )
{
  ASSERT (FALSE);
}
 
VOID *
EFIAPI
WriteBackDataCacheRange (
  IN      VOID   *Address,
  IN      UINTN  Length
  )
{
  ASSERT (Length <= MAX_ADDRESS - (UINTN)Address + 1);
  ASSERT (FALSE);
  return Address;
}
 
VOID
EFIAPI
InvalidateDataCache (
  VOID
  )
{
  ASSERT (FALSE);
}
 
VOID *
EFIAPI
InvalidateDataCacheRange (
  IN      VOID   *Address,
  IN      UINTN  Length
  )
{
  ASSERT (Length <= MAX_ADDRESS - (UINTN)Address + 1);
  ASSERT (FALSE);
  return Address;
}