EdkCompatibilityPkg/Foundation/Library/RuntimeDxe/EfiRuntimeLib/X64/RuntimeLibAsm.S

   1 #------------------------------------------------------------------------------
   2 #
   3 # Copyright (c) 2008, Intel Corporation
   4 # All rights reserved. This program and the accompanying materials
   5 # are licensed and made available under the terms and conditions of the BSD License
   6 # which accompanies this distribution.  The full text of the license may be found at
   7 # http://opensource.org/licenses/bsd-license.php
   8 #
   9 # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  10 # WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  11 #
  12 # Module Name:
  13 #
  14 #   RuntimeLibAsm.S
  15 #
  16 # Abstract:
  17 #
  18 #
  19 #------------------------------------------------------------------------------
  20 #include <EfiBind.h>
  21
  22 .text
  23
  24 .globl ASM_PFX(EfiCpuFlushCache)
  25 #------------------------------------------------------------------------------
  26 #EFI_STATUS
  27 #EfiCpuFlushCache (
  28 #  IN EFI_PHYSICAL_ADDRESS          Start,
  29 #  IN UINT64                        Length
  30 #  );
  31 #------------------------------------------------------------------------------
  32
  33 ASM_PFX(EfiCpuFlushCache):
  34     wbinvd
  35     mov $0, %rax
  36     ret
  37