1 /* PR 14194 */
2 
3 int irqs;
4 
5 static inline __attribute__((always_inline))
kstat_irqs(void)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 
show_interrupts(void)14 int show_interrupts (void) {
15   return kstat_irqs ();
16 }
17