diff options
| -rw-r--r-- | pfinet/timer-emul.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pfinet/timer-emul.c b/pfinet/timer-emul.c index 2053f80f..e2ed3a26 100644 --- a/pfinet/timer-emul.c +++ b/pfinet/timer-emul.c @@ -31,8 +31,8 @@ long long root_jiffies; volatile struct mapped_time_value *mapped_time; -struct timer_list *timers; -thread_t timer_thread = 0; +static struct timer_list *timers; +static thread_t timer_thread = 0; static void * timer_function (void *this_is_a_pointless_variable_with_a_rather_long_name) |