/roms/edk2/OvmfPkg/Include/IndustryStandard/Xen/arch-x86/

• ../
• hvm
• xen-x86_32.h
• xen-x86_64.h
• xen.h