/xen/include/public/arch-x86/

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