/OvmfPkg/Include/

• ../
• Dsc
• Fdf
• Guid
• IndustryStandard
• Library
• OvmfPlatforms.h
• Pcd
• Ppi
• Protocol
• Register
• TdxCommondefs.inc
• WorkArea.h