ADI_REG_IRQ_PENDING
u32 irq_pending = axi_ioread(ADI_REG_IRQ_PENDING, ctl);
axi_iowrite(clear_mask, ADI_REG_IRQ_PENDING, ctl);