1  /* PR 14194 */
       2  
       3  int irqs;
       4  
       5  static inline __attribute__((always_inline))
       6  int kstat_irqs (void) {
       7    int i, sum = 0;
       8    for (i = 0; i < 1; i++)
       9      if (__builtin_expect(i, 0))
      10        sum += irqs;
      11    return sum;
      12  }
      13  
      14  int show_interrupts (void) {
      15    return kstat_irqs ();
      16  }