original_kernel/tools/virtio/xen
..
xen.h