/* PR 14194 */
int irqs;
static inline __attribute__((always_inline))
int kstat_irqs (void) {
int i, sum = 0;
for (i = 0; i < 1; i++)
if (__builtin_expect(i, 0))
sum += irqs;
return sum;
}
int show_interrupts (void) {
return kstat_irqs ();