gator: Version 5.18

[android-sdk/arm-ds5-gator.git] / driver / gator_hrtimer_gator.c

diff --git a/driver/gator_hrtimer_gator.c b/driver/gator_hrtimer_gator.c
index b0c947afe1e1631fcd5f7d5316137f1fb8435ad1..76584554b00fd1c0ae08a85af1ea1f21351488db 100644 (file)
--- a/driver/gator_hrtimer_gator.c
+++ b/driver/gator_hrtimer_gator.c
@@ -1,5 +1,5 @@
 /**
- * Copyright (C) ARM Limited 2011-2013. All rights reserved.
+ * Copyright (C) ARM Limited 2011-2014. 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
@@ -7,10 +7,6 @@
  *
  */
 
-// gator_hrtimer_perf.c is used if perf is supported
-//   update, gator_hrtimer_gator.c always used until issues resolved with perf hrtimers
-#if 1
-
 void (*callback)(void);
 DEFINE_PER_CPU(struct hrtimer, percpu_hrtimer);
 DEFINE_PER_CPU(ktime_t, hrtimer_expire);
@@ -82,5 +78,3 @@ static void gator_hrtimer_shutdown(void)
 {
        /* empty */
 }
-
-#endif