[PATCH gnumach 07/16] Add linux_timer_intr function declaration

[Guillem Jover]

* i386/i386/hardclock.c [LINUX_DEV] (linux_timer_intr): New prototype.
---
 i386/i386/hardclock.c |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)

diff --git a/i386/i386/hardclock.c b/i386/i386/hardclock.c
index a8846b9..c97feac 100644
--- a/i386/i386/hardclock.c
+++ b/i386/i386/hardclock.c
@@ -42,6 +42,10 @@
 extern void    clock_interrupt();
 extern char    return_to_iret[];
 
+#ifdef LINUX_DEV
+extern void linux_timer_intr(void);
+#endif
+
 void
 hardclock(iunit,        old_ipl, ret_addr, regs)
         int     iunit;          /* 'unit' number */
-- 
1.7.5.4