upgrade to ckrm e17
[linux-2.6.git] / kernel / ckrm / ckrm_cpu_monitor.c
index c1eb0e6..23f48ec 100644 (file)
@@ -22,7 +22,7 @@
 #include <asm/errno.h>
 #include <linux/list.h>
 #include <linux/spinlock.h>
-#include <linux/ckrm.h>
+#include <linux/ckrm_events.h>
 #include <linux/ckrm_rc.h>
 #include <linux/ckrm_tc.h>
 #include <asm/div64.h>