--- a/gsm-fw/gpf/osl/os_tim_ir.c	Thu Jun 26 04:46:53 2014 +0000
+++ b/gsm-fw/gpf/osl/os_tim_ir.c	Thu Jun 26 05:08:44 2014 +0000
@@ -106,15 +106,15 @@
 	return;
 }
 
-static int os_remove_timer_from_list(T_OS_TIMER_TABLE_ENTRY *timer)
+static int
+os_remove_timer_from_list(T_OS_TIMER_TABLE_ENTRY *timer)
 {
 	OS_TICK c_ticks;
 
 	if (timer != t_running) {
 		if (timer->next != t_running)
 			timer->next->r_ticks += timer->r_ticks;
-	}
-	else {
+	} else {
 		c_ticks = NU_Retrieve_Clock();
 		if (timer->next == timer) {
 			t_running = 0;