Kbuild 43 Bytes
header-y += evtchn.h
header-y += privcmd.h