includecheck fix: drivers/xen, evtchn.c