--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gsm-fw/gpf/osl/os_tim_ir.c	Mon Jun 23 18:37:19 2014 +0000
@@ -0,0 +1,34 @@
+/*
+ * This C module is a reconstruction based on the disassembly of
+ * os_tim.obj in frame_na7_db_ir.lib from the Leonardo package.
+ */
+
+/* set of included headers from COFF symtab: */
+#include <stdio.h>
+#include "gpfconf.h"	/* FreeCalypso addition */
+#include "../../nucleus/nucleus.h"
+#include "typedefs.h"
+#include "os.h"
+#include "gdi.h"
+#include "os_types.h"
+#include "os_glob.h"
+
+extern T_OS_TIMER_ENTRY TimerTable[];
+extern T_OS_TIMER_TABLE_ENTRY *p_list[];
+
+extern unsigned os_time_to_tick_multiplier;
+extern unsigned os_tick_to_time_multiplier;
+
+extern unsigned t_start_ticks;
+extern T_OS_TIMER_TABLE_ENTRY * volatile t_running;
+extern int used_timers;
+extern int next_t_handle;
+extern int volatile t_list_access;
+extern int max_used_timers;
+extern NU_SEMAPHORE TimSemCB;
+extern NU_TIMER os_timer_cb;
+
+void
+timer_error(int err)
+{
+}