1 /*++ 2 3 Copyright (c) 2004, Intel Corporation. All rights reserved.<BR> 4 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 struct _EFI_PEI_FLUSH_INSTRUCTION_CACHE_PROTOCOL { 39 EFI_PEI_FLUSH_INSTRUCTION_CACHE_FLUSH Flush; 40 }; 41 42 extern EFI_GUID gEfiPeiFlushInstructionCacheGuid; 43 44 #endif 45