freebsd-skq/sys/i386/include/xen
..
hypercall.h
synch_bitops.h
xen-os.h