stubdom: fix missing evtchn.h header

PATCH New Samuel Thibault 1 participant 1 message Jul 9, 2008

lore

Share & tools

lore

Samuel Thibault

author

2008-07-09 11:02 UTC #0 lore raw

PATCH 1/1 stubdom: fix missing evtchn.h header

stubdom: fix missing evtchn.h header

We actually do not need any since we include MiniOS' headers.

Signed-off-by Samuel Thibault <[email protected]>

tools/libxc/xc_minios.c +0 -1

diff -r 4743bfaa9259 tools/libxc/xc_minios.c
@@ -21,7 +21,6 @@
 #include <errno.h>
 
 #include <xen/memory.h>
-#include <xen/sys/evtchn.h>
 #include <unistd.h>
 #include <fcntl.h>
 #include <stdio.h>