It's a user-mode header for users of /dev/evtchn Signed-off-by: Jeremy Fitzhardinge <jeremy@goop.org>
@@ -37,7 +37,6 @@
#include <asm/io.h>
#include <asm/setup.h>
#include <asm/pgalloc.h>
-#include <xen/evtchn.h>
#include <asm/hypervisor.h>
#include <xen/blkif.h>
#include <xen/grant_table.h>
Jeremy Fitzhardinge