TianoCore EDK2 master
Loading...
Searching...
No Matches
X86CpuFlushTlb.c
Go to the documentation of this file.
1
10#include <Library/BaseLib.h>
11
18VOID
19EFIAPI
20CpuFlushTlb (
21 VOID
22 )
23{
24 AsmWriteCr3 (AsmReadCr3 ());
25}
AsmReadCr3
UINTN EFIAPI AsmReadCr3(VOID)
Definition: GccInlinePriv.c:186
AsmWriteCr3
UINTN EFIAPI AsmWriteCr3(UINTN Cr3)
Definition: GccInlinePriv.c:289
CpuFlushTlb
VOID EFIAPI CpuFlushTlb(VOID)
Definition: X86CpuFlushTlb.c:20