Many thanks for all answers. smp_processor_id() works just fine in interrupt context. Unfortunately /proc/interrupts is not what I was looking for. My idea was to print a line to dmesg at every interrupt to have a timestamp like the following: [ 926.440799] Enter intr at 0 [ 926.441059] Exit intr at 0