diff options
Diffstat (limited to 'driver/gator_hrtimer_gator.c')
| -rw-r--r-- | driver/gator_hrtimer_gator.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/driver/gator_hrtimer_gator.c b/driver/gator_hrtimer_gator.c index 36961f8..8b86ede 100644 --- a/driver/gator_hrtimer_gator.c +++ b/driver/gator_hrtimer_gator.c @@ -7,10 +7,10 @@ * */ -void (*callback)(void); -DEFINE_PER_CPU(struct hrtimer, percpu_hrtimer); -DEFINE_PER_CPU(ktime_t, hrtimer_expire); -DEFINE_PER_CPU(int, hrtimer_is_active); +static void (*callback)(void); +static DEFINE_PER_CPU(struct hrtimer, percpu_hrtimer); +static DEFINE_PER_CPU(ktime_t, hrtimer_expire); +static DEFINE_PER_CPU(int, hrtimer_is_active); static ktime_t profiling_interval; static void gator_hrtimer_online(void); static void gator_hrtimer_offline(void); |