irq_kern.h revision fa7a0449
1