vserver 1.9.5.x5

[linux-2.6.git] / arch / ia64 / sn / kernel / sn2 / timer_interrupt.c

diff --git a/arch/ia64/sn/kernel/sn2/timer_interrupt.c b/arch/ia64/sn/kernel/sn2/timer_interrupt.c
index dd2c284..cde7375 100644 (file)
--- a/arch/ia64/sn/kernel/sn2/timer_interrupt.c
+++ b/arch/ia64/sn/kernel/sn2/timer_interrupt.c
@@ -37,23 +37,23 @@
 #include <asm/sn/leds.h>
 
 extern void sn_lb_int_war_check(void);
-extern irqreturn_t timer_interrupt (int irq, void *dev_id, struct pt_regs *regs);
+extern irqreturn_t timer_interrupt(int irq, void *dev_id, struct pt_regs *regs);
 
 #define SN_LB_INT_WAR_INTERVAL 100
 
-void
-sn_timer_interrupt(int irq, void *dev_id, struct pt_regs *regs)
+void sn_timer_interrupt(int irq, void *dev_id, struct pt_regs *regs)
 {
        /* LED blinking */
        if (!pda->hb_count--) {
-               pda->hb_count = HZ/2;
-               set_led_bits(pda->hb_state ^= LED_CPU_HEARTBEAT, LED_CPU_HEARTBEAT);
+               pda->hb_count = HZ / 2;
+               set_led_bits(pda->hb_state ^=
+                            LED_CPU_HEARTBEAT, LED_CPU_HEARTBEAT);
        }
 
        if (enable_shub_wars_1_1()) {
                /* Bugfix code for SHUB 1.1 */
-               if (pda->pio_shub_war_cam_addr)
-                       *pda->pio_shub_war_cam_addr = 0x8000000000000010UL;
+               if (pda->pio_shub_war_cam_addr)
+                       *pda->pio_shub_war_cam_addr = 0x8000000000000010UL;
        }
        if (pda->sn_lb_int_war_ticks == 0)
                sn_lb_int_war_check();