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 27