/** @file CpuFlushTlb function for Ia32/X64 GCC. Copyright (c) 2006 - 2008, Intel Corporation. All rights reserved.
Portions copyright (c) 2008 - 2009, Apple Inc. All rights reserved.
SPDX-License-Identifier: BSD-2-Clause-Patent **/ #include /** Flushes all the Translation Lookaside Buffers(TLB) entries in a CPU. Flushes all the Translation Lookaside Buffers(TLB) entries in a CPU. **/ VOID EFIAPI CpuFlushTlb ( VOID ) { AsmWriteCr3 (AsmReadCr3 ()); }