Home | History | Annotate | Download | only in X64
      1 #------------------------------------------------------------------------------
      2 # Copyright (c) 2006 - 2008, Intel Corporation. All rights reserved.<BR>
      3 # This program and the accompanying materials
      4 # are licensed and made available under the terms and conditions of the BSD License
      5 # which accompanies this distribution.  The full text of the license may be found at
      6 # http://opensource.org/licenses/bsd-license.php.
      7 #
      8 # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
      9 # WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
     10 #
     11 # Module Name:
     12 #
     13 #   CpuFlushTlb.Asm
     14 #
     15 # Abstract:
     16 #
     17 #   CpuFlushTlb function
     18 #
     19 # Notes:
     20 #
     21 #------------------------------------------------------------------------------
     22 
     23 ASM_GLOBAL ASM_PFX(CpuFlushTlb)
     24 
     25 #------------------------------------------------------------------------------
     26 # VOID
     27 # EFIAPI
     28 # CpuFlushTlb (
     29 #   VOID
     30 #   );
     31 #------------------------------------------------------------------------------
     32 ASM_PFX(CpuFlushTlb):
     33     mov     %cr3, %rax
     34     mov     %rax, %cr3
     35     ret
     36