/* Flushes all the Translation Lookaside Buffers(TLB) entries in a CPU.  */
VOID EFIAPI CpuFlushTlb(VOID)
/* Flushes all the Translation Lookaside Buffers(TLB) entries in a CPU.  */
VOID EFIAPI CpuFlushTlb(VOID)
{
  AsmWriteCr3 (AsmReadCr3 ());
}