--- tools/libxc/xc.h~	2005-06-22 14:45:33.000000000 -0500
+++ tools/libxc/xc.h	2005-06-22 22:04:40.091377216 -0500
@@ -25,6 +25,7 @@
 #include <xen/dom0_ops.h>
 #include <xen/event_channel.h>
 #include <xen/sched_ctl.h>
+#include <xen/acm.h>
 
 /*
  *  DEFINITIONS FOR CPU BARRIERS