| /* |
| * Copyright (c) 2025 Intel Corporation |
| * Author: Isaku Yamahata <isaku.yamahata at gmail.com> |
| * <isaku.yamahata at intel.com> |
| * |
| * SPDX-License-Identifier: GPL-2.0-or-later |
| */ |
| |
| #ifndef HW_I386_TDVF_H |
| #define HW_I386_TDVF_H |
| |
| #include "qemu/osdep.h" |
| |
| #define TDVF_SECTION_TYPE_BFV 0 |
| #define TDVF_SECTION_TYPE_CFV 1 |
| #define TDVF_SECTION_TYPE_TD_HOB 2 |
| #define TDVF_SECTION_TYPE_TEMP_MEM 3 |
| |
| #define TDVF_SECTION_ATTRIBUTES_MR_EXTEND (1U << 0) |
| #define TDVF_SECTION_ATTRIBUTES_PAGE_AUG (1U << 1) |
| |
| typedef struct TdxFirmwareEntry { |
| uint32_t data_offset; |
| uint32_t data_len; |
| uint64_t address; |
| uint64_t size; |
| uint32_t type; |
| uint32_t attributes; |
| |
| void *mem_ptr; |
| } TdxFirmwareEntry; |
| |
| typedef struct TdxFirmware { |
| void *mem_ptr; |
| |
| uint32_t nr_entries; |
| TdxFirmwareEntry *entries; |
| } TdxFirmware; |
| |
| #define for_each_tdx_fw_entry(fw, e) \ |
| for (e = (fw)->entries; e != (fw)->entries + (fw)->nr_entries; e++) |
| |
| int tdvf_parse_metadata(TdxFirmware *fw, void *flash_ptr, int size); |
| |
| #endif /* HW_I386_TDVF_H */ |