1  extern unsigned long volatile jiffies;
       2  void do_timer(void)
       3  {
       4    (*(unsigned long *)&jiffies)++;
       5  }