original_kernel/include/uapi/xen
..
Kbuild
evtchn.h
privcmd.h