fetch the register state with get_irq_regs() as on other platforms. Signed-off-by: Paul Mundt ›