| /** @file | |
| PlatformId internal header for PlatformPei | |
| Copyright (c) 2024, Google LLC. All rights reserved.<BR> | |
| SPDX-License-Identifier: BSD-2-Clause-Patent | |
| **/ | |
| #ifndef __PLATFORM_PEI_PLATFORMID_H__ | |
| #define __PLATFORM_PEI_PLATFORMID_H__ | |
| /** | |
| * Reads opt/org.tianocode/sp800155evt/%d from 0 to the first positive integer | |
| * where the file does not exist and registers each file's contents in an | |
| * EFI_HOB_GUID_TYPE with name gTcg800155PlatformIdEventHobGuid. These HOBs | |
| * are used by a later driver to write to the event log as unmeasured events. | |
| * These events inform the event log analyzer of firmware provenance and | |
| * reference integrity manifests. | |
| **/ | |
| VOID | |
| PlatformIdInitialization ( | |
| IN CONST EFI_PEI_SERVICES **PeiServices | |
| ); | |
| #endif // __PLATFORM_PEI_PLATFORMID_H__ |