EdkCompatibilityPkg/Foundation/Library/RuntimeDxe/EfiRuntimeLib/Ia32/CpuFlushCache.c

   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     CpuFlushCache.c
  15
  16 Abstract:
  17
  18  Cpu Flush Cache Function.
  19
  20 --*/
  21 #include "Tiano.h"
  22 #include "EfiRuntimeLib.h"
  23
  24 //
  25 // Cache Flush Routine.
  26 //
  27 EFI_STATUS
  28 EfiCpuFlushCache (
  29   IN EFI_PHYSICAL_ADDRESS          Start,
  30   IN UINT64                        Length
  31   )
  32 /*++
  33
  34 Routine Description:
  35
  36   Flush cache with specified range.
  37
  38 Arguments:
  39
  40   Start   - Start address
  41   Length  - Length in bytes
  42
  43 Returns:
  44
  45   Status code
  46
  47   EFI_SUCCESS - success
  48
  49 --*/
  50 {
  51   __asm {
  52     wbinvd
  53   }
  54   return EFI_SUCCESS;
  55 }