Linux-2.6.33.2/include/xen/Kbuild
header-y += evtchn.h