gator: Version 5.14

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

diff --git a/driver/gator_events_mali_t6xx_hw.c b/driver/gator_events_mali_t6xx_hw.c
index 72498c8fdbc6d79aae432ce4e4640b890e23e804..fb2e15cecbb51939cf1a8f50a9cb8490fa1f64ce 100644 (file)
--- a/driver/gator_events_mali_t6xx_hw.c
+++ b/driver/gator_events_mali_t6xx_hw.c
@@ -1,5 +1,5 @@
 /**
- * Copyright (C) ARM Limited 2012. All rights reserved.
+ * Copyright (C) ARM Limited 2012-2013. 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
@@ -608,7 +608,7 @@ static int read(int **buffer)
        static u32 prev_time_s = 0;
        static s32 next_read_time_ns = 0;
 
-       if (smp_processor_id() != 0) {
+       if (!on_primary_core()) {
                return 0;
        }