/OvmfPkg/Include/IndustryStandard/

• ../
• E820.h
• I440FxPiix4.h
• LegacyVgaBios.h
• LinuxBzimage.h
• Q35MchIch9.h
• Virtio.h
• VirtioBlk.h
• VirtioNet.h
• VirtioScsi.h
• Xen