qemu/include/hw/xen/interface/arch-x86
..
cpuid.h
xen-x86_32.h
xen-x86_64.h
xen.h