irq: first (non-working) lines of code for interrupt controller