freebsd-skq/sys/xen/interface/arch-x86
..
hvm
cpuid.h
pmu.h
xen-mca.h
xen-x86_32.h
xen-x86_64.h
xen.h