/sys/src/9/xen/xen-public/arch-x86/

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