| /* SPDX-License-Identifier: GPL-2.0-only */ | |
| /* This file is part of the coreboot project. */ | |
| #ifndef __FSP_GUIDS__ | |
| #define __FSP_GUIDS__ | |
| #include <uuid.h> | |
| #define AMD_FSP_TSEG_HOB_GUID \ | |
| GUID_INIT(0x5fc7897a, 0x5aff, 0x4c61, \ | |
| 0xaa, 0x7a, 0xdd, 0xcf, 0xa9, 0x18, 0x43, 0x0c) | |
| #endif /* __FSP_GUIDS__ */ |