CpuSleepFlushTlb.c

Go to the documentation of this file.

 
#include <Base.h>
#include <Library/DebugLib.h>
 
VOID
EFIAPI
CpuFlushTlb (
  VOID
  )
{
  ASSERT (FALSE);
}
 
VOID
EFIAPI
CpuSleep (
  VOID
  )
{
}