I am running some benchmarks on a Linux system, and recording the interrupt arrival by noting the ID of the interrupt's. I would like to map the interrupt ID to its name.
For example, interrupt no. 7 corresponds to pagefault exception.
cat /proc/interrupt is not helping. In this file, some interrupts are noted by their ID (ex : 0 for timer interrupt), and some interrupts are noted by a crytic MACRO (ex : PMI for performance monitoring interrupts)