/include/xen/arch-x86/
../
xen-x86_32.h
xen-x86_64.h
xen.h