使用しているLinuxシステムのIRQを調べるには、どのファイルを参照すればよいか。
/proc/cpuinfo
/proc/dma
/proc/ioports
/proc/interrupts
/proc/pci