EdkCompatibilityPkg/Foundation/Guid/PeiFlushInstructionCache/PeiFlushInstructionCache.h

   1 /*++
   2
   3 Copyright (c) 2004, 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     PeiFlushInstructionCache.h
  15
  16 Abstract:
  17
  18   GUID for the Instruction Cache Flushing APIs shared between PEI and DXE
  19
  20 --*/
  21
  22 #ifndef _PEI_FLUSH_INSTRUCTION_CACHE_GUID_H_
  23 #define _PEI_FLUSH_INSTRUCTION_CACHE_GUID_H_
  24
  25 #define EFI_PEI_FLUSH_INSTRUCTION_CACHE_GUID  \
  26   { 0xd8117cfc, 0x94a6, 0x11d4, 0x9a, 0x3a, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d }
  27
  28 EFI_FORWARD_DECLARATION (EFI_PEI_FLUSH_INSTRUCTION_CACHE_PROTOCOL);
  29
  30 typedef
  31 EFI_STATUS
  32 (EFIAPI *EFI_PEI_FLUSH_INSTRUCTION_CACHE_FLUSH) (
  33   IN EFI_PEI_FLUSH_INSTRUCTION_CACHE_PROTOCOL  *This,
  34   IN EFI_PHYSICAL_ADDRESS                              Start,
  35   IN UINT64                                            Length
  36   );
  37
  38 typedef struct _EFI_PEI_FLUSH_INSTRUCTION_CACHE_PROTOCOL {
  39   EFI_PEI_FLUSH_INSTRUCTION_CACHE_FLUSH  Flush;
  40 } EFI_PEI_FLUSH_INSTRUCTION_CACHE_PROTOCOL;
  41
  42 extern EFI_GUID gEfiPeiFlushInstructionCacheGuid;
  43
  44 #endif