| 1 | /* SPDX-License-Identifier: GPL-2.0-or-later */ |
| 2 | |
| 3 | #ifndef HW_I386_TD_HOB_H |
| 4 | #define HW_I386_TD_HOB_H |
| 5 | |
| 6 | #include "hw/i386/tdvf.h" |
| 7 | #include "target/i386/kvm/tdx.h" |
| 8 | |
| 9 | void tdvf_hob_create(TdxGuest *tdx, TdxFirmwareEntry *td_hob); |
| 10 | |
| 11 | #define EFI_RESOURCE_ATTRIBUTE_TDVF_PRIVATE \ |
| 12 | (EFI_RESOURCE_ATTRIBUTE_PRESENT | \ |
| 13 | EFI_RESOURCE_ATTRIBUTE_INITIALIZED | \ |
| 14 | EFI_RESOURCE_ATTRIBUTE_TESTED) |
| 15 | |
| 16 | #define EFI_RESOURCE_ATTRIBUTE_TDVF_UNACCEPTED \ |
| 17 | (EFI_RESOURCE_ATTRIBUTE_PRESENT | \ |
| 18 | EFI_RESOURCE_ATTRIBUTE_INITIALIZED | \ |
| 19 | EFI_RESOURCE_ATTRIBUTE_TESTED) |
| 20 | |
| 21 | #define EFI_RESOURCE_ATTRIBUTE_TDVF_MMIO \ |
| 22 | (EFI_RESOURCE_ATTRIBUTE_PRESENT | \ |
| 23 | EFI_RESOURCE_ATTRIBUTE_INITIALIZED | \ |
| 24 | EFI_RESOURCE_ATTRIBUTE_UNCACHEABLE) |
| 25 | |
| 26 | #endif |