diff --git a/gator_events_sched.c b/gator_events_sched.c
index 57b710ab67c4dd390b3aca65895cf924110870ca..138b7e4a64ce3a20705b2b91a9886e6090b03b99 100644 (file)
--- a/gator_events_sched.c
+++ b/gator_events_sched.c
/**
- * Copyright (C) ARM Limited 2010. All rights reserved.
+ * Copyright (C) ARM Limited 2010-2011. All rights reserved.
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License version 2 as
*
*/
-#include <linux/version.h>
-#include <linux/slab.h>
-#include <linux/fs.h>
-#include <linux/mm.h>
-#include <linux/dcookies.h>
-#include <trace/events/sched.h>
-
#include "gator.h"
-#include "gator_trace.h"
+#include <trace/events/sched.h>
#define SCHED_SWITCH 0
#define SCHED_TOTAL (SCHED_SWITCH+1)