/OvmfPkg/TdxDxe/

• ../
• TdxAcpiTable.c
• TdxAcpiTable.h
• TdxDxe.c
• TdxDxe.inf
• X64