That's counter-factual:
CPU0 CPU1
0: 42851354 6500253 IO-APIC-edge timer
1: 475459 45904 IO-APIC-edge i8042
8: 0 1 IO-APIC-edge rtc0
9: 135 18 IO-APIC-fasteoi acpi
12: 5232181 495206 IO-APIC-edge i8042
...
That's on x86. A quick survey of other boards around here
shows many that use IRQ 0 too.
I certainly agree it'd be convenient to be able to just test
for IRQ being nonzero. Presumably only one driver would ever
end up using IRQ 0 on x86, so other drivers could ignore the
fact that testing for nonzero would mean "not the timer irq"
rather than "no irq assigned".
- Dave
--