original_kernel/include/uapi/xen
..
evtchn.h
gntalloc.h
gntdev.h
privcmd.h