#include <asm/cacheflush.h>
 
 #define HPWDT_VERSION                  "1.1.1"
+#define SECS_TO_TICKS(secs)            ((secs) * 1000 / 128)
 #define DEFAULT_MARGIN                 30
 
 static unsigned int soft_margin = DEFAULT_MARGIN;      /* in seconds */
  */
 static void hpwdt_start(void)
 {
-       reload = (soft_margin * 1000) / 128;
+       reload = SECS_TO_TICKS(soft_margin);
        iowrite16(reload, hpwdt_timer_reg);
        iowrite16(0x85, hpwdt_timer_con);
 }
        printk(KERN_DEBUG
                "hpwdt: New timer passed in is %d seconds.\n",
                new_margin);
-       reload = (soft_margin * 1000) / 128;
+       reload = SECS_TO_TICKS(soft_margin);
 
        return 0;
 }