freebsd-skq/sys/x86/include/xen
..
xen-os.h