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