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