[foxboard] Reading out number of interrupts

[Geert Vancompernolle]

Hi,

Anyone any idea how to read out the number of interrupts for a certain
IRQ number from /proc/interrupts, from within a program (so, not using
cat /proc/interrupts from the command shell)?

Best rgds,

--Geert