+++ /dev/null
-/*++\r
-\r
-Copyright (c) 2004, Intel Corporation. All rights reserved.<BR>\r
-This program and the accompanying materials \r
-are licensed and made available under the terms and conditions of the BSD License \r
-which accompanies this distribution. The full text of the license may be found at \r
-http://opensource.org/licenses/bsd-license.php \r
- \r
-THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, \r
-WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. \r
-\r
-Module Name:\r
- \r
- PeiFlushInstructionCache.h\r
- \r
-Abstract:\r
-\r
- GUID for the Instruction Cache Flushing APIs shared between PEI and DXE\r
-\r
---*/\r
-\r
-#ifndef _PEI_FLUSH_INSTRUCTION_CACHE_GUID_H_\r
-#define _PEI_FLUSH_INSTRUCTION_CACHE_GUID_H_\r
-\r
-#define EFI_PEI_FLUSH_INSTRUCTION_CACHE_GUID \\r
- { 0xd8117cfc, 0x94a6, 0x11d4, {0x9a, 0x3a, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d} }\r
-\r
-EFI_FORWARD_DECLARATION (EFI_PEI_FLUSH_INSTRUCTION_CACHE_PROTOCOL);\r
-\r
-typedef \r
-EFI_STATUS\r
-(EFIAPI *EFI_PEI_FLUSH_INSTRUCTION_CACHE_FLUSH) (\r
- IN EFI_PEI_FLUSH_INSTRUCTION_CACHE_PROTOCOL *This,\r
- IN EFI_PHYSICAL_ADDRESS Start,\r
- IN UINT64 Length\r
- );\r
-\r
-struct _EFI_PEI_FLUSH_INSTRUCTION_CACHE_PROTOCOL {\r
- EFI_PEI_FLUSH_INSTRUCTION_CACHE_FLUSH Flush;\r
-};\r
-\r
-extern EFI_GUID gEfiPeiFlushInstructionCacheGuid;\r
-\r
-#endif\r